Theorem Manifold.lintegral_norm_mfderiv_Icc_eq_pathELength_projIcc

Modification history