Theorem HasDerivAt.continuousAt_div

Modification history

2024-11-01 12:21
Mathlib/Analysis/Calculus/Deriv/Slope.lean
feat(NumberTheory/LSeries/QuadraticNonvanishing): new file (#18302) …
Added HasDerivAt.continuousAt_divView on Github →