Commit 2025-06-05 15:01 a6e2960f
View on Github →feat: One-point compactification of Euclidean space homeomorphic to sphere (#18711) The one-point compactification of n-dimensional Euclidean space is homeomorphic to the n-sphere.
feat: One-point compactification of Euclidean space homeomorphic to sphere (#18711) The one-point compactification of n-dimensional Euclidean space is homeomorphic to the n-sphere.