Theorem Manifold.riemannianEDist_le_pathELength

Modification history