Theorem contDiffOn_succ_iff_deriv_of_open

Modification history