Theorem contDiff_smul

Modification history