Theorem iteratedDerivWithin_const_mul

Modification history

2025-01-07 19:44
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
feat(ContDiff): weaken some assumptions (#20368) …
Modified iteratedDerivWithin_const_mulView on Github →
2024-01-19 09:25
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
feat: add lemmas about iteratedDerivWithin (#9679) …
Added iteratedDerivWithin_const_mulView on Github →