Theorem Convex.second_derivative_within_at_symmetric

Modification history

2023-06-03 08:02
Mathlib/Analysis/Calculus/FDerivSymmetric.lean
feat: port Analysis.Calculus.FDerivSymmetric (#4616)
Added Convex.second_derivative_within_at_symmetricView on Github →