Theorem iteratedDeriv_fun_neg

Modification history

2026-05-29 13:23
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
chore: bump toolchain to v4.31.0-rc1 (#39980)
Added iteratedDeriv_fun_negView on Github →
2026-05-19 21:21
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
chore: use `to_fun` to auto-generate more duplicate lemmas (#34279) …
Deleted iteratedDeriv_fun_negView on Github →
2025-06-25 15:59
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
chore: add `fun_` versions in the files on one-dimensional derivatives (#26355) …
Added iteratedDeriv_fun_negView on Github →