Theorem constant_of_has_deriv_right_zero

Modification history