Theorem gradient_eq_zero_of_not_differentiableAt

Modification history