Theorem ChartedSpace.locallyCompactSpace

Modification history

2023-08-24 16:07
Mathlib/Geometry/Manifold/ChartedSpace.lean
chore: rename 2 lemmas (#6767) …
Added ChartedSpace.locallyCompactSpaceView on Github →