Theorem tsupport_deriv_subset

Modification history

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