Theorem Differentiable.continuous

Modification history