Theorem UpperHalfPlane.coe_I

Modification history

2024-04-30 14:24

Mathlib/Analysis/Complex/UpperHalfPlane/Basic.lean

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

Added UpperHalfPlane.coe_I View on Github →