Theorem UpperHalfPlane.mem_verticalStrip_iff

Modification history

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