Theorem ContDiffOn.continuousOn_deriv_of_isOpen

Modification history