Theorem UpperHalfPlane.mem_slitPlane

Modification history

2026-03-06 23:58

Mathlib/Analysis/Complex/UpperHalfPlane/Basic.lean

feat(ModularForm/NumberTheory/Delta): Define the delta function (#34881) …

Added UpperHalfPlane.mem_slitPlane View on Github →