Commit 2023-05-29 00:54 e4341991

View on Github →

feat: port Analysis.Calculus.Deriv.Support (#4442)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Analysis/Calculus/Deriv/Support.lean

added theorem HasCompactSupport.deriv

added theorem support_deriv_subset