Theorem IsLocalMax.hasDerivAt_eq_zero

Modification history

2023-05-29 19:05

Mathlib/Analysis/Calculus/LocalExtr.lean

feat: port Analysis.Calculus.LocalExtr (#4247)

Added IsLocalMax.hasDerivAt_eq_zero View on Github →