Def UpperHalfPlane.verticalStrip

Modification history

2024-04-30 14:24
Mathlib/Analysis/Complex/UpperHalfPlane/Topology.lean
feat(Complex/UpperHalfPlane): add vertical strips (#12443) …
Added UpperHalfPlane.verticalStripView on Github →