Theorem ContDiffAt.hasStrictFDerivAt_fderiv

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.hasStrictFDerivAt_fderivView on Github →