Theorem contDiff_nat_iff_continuous_differentiable

Modification history