Theorem IsLocalMaxOn.fderivWithin_eq_zero

Modification history