Theorem iteratedFDeriv_add

Modification history

2026-02-19 13:50
Mathlib/Analysis/Calculus/ContDiff/Operations.lean
feat: iterated derivatives of differences of functions (#35256) …
Modified iteratedFDeriv_addView on Github →
2025-11-05 05:40
Mathlib/Analysis/Calculus/ContDiff/Operations.lean
feat(Analysis/Distribution): basic algebraic properties of functions of temperate growth (#31112)
Added iteratedFDeriv_addView on Github →