Theorem UpperHalfPlane.I_re

Modification history

2024-04-30 14:24

Mathlib/Analysis/Complex/UpperHalfPlane/Basic.lean

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

Added UpperHalfPlane.I_re View on Github →