Shaddaaa
Results
1
issues of
Shaddaaa
Show that the `Over.iteratedSliceEquiv` functor is continuous and cocontinuous. This contribution was created as part of the Heidelberg Lean workshop "Formalising algebraic geometry" in November 2025. Co-authored-by: Ben Eltschig @peabrainiac...
t-category-theory
new-contributor
maintainer-merge
large-import