Theorem contDiff_inner

Modification history