Mathlib Changelog
v4
Changelog
About
Github
Theorem
surjective_stereographic
Modification history
2025-06-05 15:01
Mathlib/Geometry/Manifold/Instances/Sphere.lean
feat: One-point compactification of Euclidean space homeomorphic to sphere (#18711) …
Added
surjective_stereographic
View on Github →