Theorem contMDiff_iff

Modification history