Theorem exists_isMIntegralCurveAt_of_contMDiffAt

Modification history