Mathlib v3 is deprecated. Go to Mathlib v4

Theorem upper_half_plane.mk_coe

Modification history

2022-06-19 23:24

src/analysis/complex/upper_half_plane/basic.lean

feat(analysis/complex/upper_half_plane): add `upper_half_plane.mk` (#14795)

Added upper_half_plane.mk_coe View on Github →