Theorem Convex.taylor_approx_two_segment

Modification history

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