Theorem contMDiff_neg_sphere

Modification history