Theorem IsLocalMinOn.fderivWithin_eq_zero

Modification history