Theorem FiniteDimensional.of_locallyCompact_manifold

Modification history