Commit 2024-11-28 08:44 8d634940

feat: locally compact manifolds are finite-dimensional (#19362) Transfer Riesz's theorem to manifolds: locally compact manifolds must be modelled on a finite-dimensional space. One direction already exists: Manifold.locallyCompact_of_finiteDimensional, and we provide a converse to it.