Theorem hasFDerivAt_sub_const

Modification history

2025-10-13 14:40
Mathlib/Analysis/Calculus/FDeriv/Add.lean
refactor: make ContinuousLinearMap.id protected (#30362) …
Modified hasFDerivAt_sub_constView on Github →
2023-10-16 14:39
Mathlib/Analysis/Calculus/FDeriv/Add.lean
feat: lemmas about derivatives (#7683) …
Added hasFDerivAt_sub_constView on Github →