Skip to content

fix(Geometry/Manifold): restore the Hausdorff hypothesis in NonemptyDiffeomorphSphere - #43606

Open
Deicyde wants to merge 9 commits into
leanprover-community:masterfrom
Deicyde:poincare-t2space
Open

fix(Geometry/Manifold): restore the Hausdorff hypothesis in NonemptyDiffeomorphSphere#43606
Deicyde wants to merge 9 commits into
leanprover-community:masterfrom
Deicyde:poincare-t2space

Merge branch 'master' into poincare-t2space

915b9d6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Sep 10, 2026 in 1m 28s