Theorem Manifold.metrizableSpace

Modification history

2024-11-13 18:58
Mathlib/Geometry/Manifold/Metrizable.lean
chore: rename a bunch of stuff (#18886) …
Added Manifold.metrizableSpaceView on Github →