Theorem contMDiff_pow

Modification history