Theorem Manifold.exists_lt_locally_constant_of_riemannianEDist_lt

Modification history