Theorem contMDiff_const

Modification history