Theorem ContDiff.continuous_deriv_one

Modification history