Theorem HasCompactSupport.deriv

Modification history

2023-10-30 20:20
Mathlib/Analysis/Calculus/Deriv/Support.lean
feat: additional version of FTC-2 for improper integrals (#7755) …
Deleted HasCompactSupport.derivView on Github →
2023-05-29 00:54
Mathlib/Analysis/Calculus/Deriv/Support.lean
feat: port Analysis.Calculus.Deriv.Support (#4442)
Added HasCompactSupport.derivView on Github →