Theorem ContDiffAt.hasStrictDerivAt_deriv

Modification history

2026-10-28 01:55
Mathlib/Analysis/Calculus/ContDiff/RCLike.lean
chore: rename ContDiffAt.hasStrict(F)DerivAt to hasStrict(F)DerivAt_(… (#44840) …
Added ContDiffAt.hasStrictDerivAt_derivView on Github →