Theorem UpperHalfPlane.subset_verticalStrip_of_isCompact

Modification history

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