Theorem hasStrictFDerivAt_sub_const

Modification history

2023-10-16 14:39
Mathlib/Analysis/Calculus/FDeriv/Add.lean
feat: lemmas about derivatives (#7683) …
Added hasStrictFDerivAt_sub_constView on Github →