Theorem FormalMultilinearSeries.derivSeries_eq_zero

Modification history

2024-12-10 06:48
Mathlib/Analysis/Analytic/ChangeOrigin.lean
feat: more API for iteratedFDeriv (#19769) …
Added FormalMultilinearSeries.derivSeries_eq_zeroView on Github →