Def UpperHalfPlane.I

Modification history

2026-02-04 15:37

Mathlib/Analysis/Complex/UpperHalfPlane/Basic.lean

chore(UpperHalfPlane): redefine as a structure (#34597) …

Modified UpperHalfPlane.I View on Github →

2024-04-30 14:24

Mathlib/Analysis/Complex/UpperHalfPlane/Basic.lean

feat(Complex/UpperHalfPlane): add vertical strips (#12443) …

Added UpperHalfPlane.I View on Github →