Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-05 09:43
89d74aba
View on Github →
feat: port Geometry.Manifold.Metrizable (
#4679
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Geometry/Manifold/Metrizable.lean
added
theorem
ManifoldWithCorners.metrizableSpace