Theorem HasDerivWithinAt.nhdsWithin

Modification history

2023-08-25 14:43

Mathlib/Analysis/Calculus/Deriv/Basic.lean

chore: remove duplicate lemma HasFDerivWithinAt.nhdsWithin (#6773) …

Deleted HasDerivWithinAt.nhdsWithin View on Github →

2023-05-28 04:44

Mathlib/Analysis/Calculus/Deriv/Basic.lean

feat: port Analysis.Calculus.Deriv.Basic (#4434)

Added HasDerivWithinAt.nhdsWithin View on Github →