Theorem Complex.differentiableWithinAt_sqrt

Modification history

2026-03-06 23:58
Mathlib/Analysis/Complex/SqrtDeriv.lean
feat(ModularForm/NumberTheory/Delta): Define the delta function (#34881) …
Added Complex.differentiableWithinAt_sqrtView on Github →