Theorem Complex.continuousAt_sqrt

Modification history

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