Theorem is_const_of_fderiv_eq_zero

Modification history