Theorem iteratedDeriv_comp_neg

Modification history

2024-03-06 11:04
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
feat(Analysis/Calculus/{Iterated}Deriv/*): add lemmas on composition with negation (#11173) …
Added iteratedDeriv_comp_negView on Github →