Theorem contDiff_neg

Modification history