Theorem HasStrictDerivAt.of_notMem_tsupport

Modification history

2026-03-02 21:29
Mathlib/Analysis/Calculus/Deriv/Support.lean
feat: weaken assumptions for integration by parts (#35870) …
Added HasStrictDerivAt.of_notMem_tsupportView on Github →