Theorem Convex.second_derivative_within_at_symmetric_of_mem_interior

Modification history

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