Theorem hasDerivAtFilter_finCons'

Modification history

2025-01-29 23:20
Mathlib/Analysis/Calculus/Deriv/Prod.lean
feat: `HasFDerivAt` for `Fin.cons` (#20407) …
Added hasDerivAtFilter_finCons'View on Github →