Theorem support_deriv_subset

Modification history

2023-05-29 00:54

Mathlib/Analysis/Calculus/Deriv/Support.lean

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

Added support_deriv_subset View on Github →