Theorem MeasureTheory.taylorWithinEval_charFun_zero

Modification history

2026-03-03 17:12
Mathlib/MeasureTheory/Measure/CharacteristicFunction/TaylorExpansion.lean
feat: taylor expansion of the characteristic function (#36025) …
Added MeasureTheory.taylorWithinEval_charFun_zeroView on Github →