Theorem UpperHalfPlane.I_im

Modification history

2024-04-30 14:24

Mathlib/Analysis/Complex/UpperHalfPlane/Basic.lean

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

Added UpperHalfPlane.I_im View on Github →