Theorem UpperHalfPlane.embedding_coe

Modification history

2023-06-28 05:06

Mathlib/Analysis/Complex/UpperHalfPlane/Topology.lean

feat: port Analysis.Complex.UpperHalfPlane.Topology (#5530)

Added UpperHalfPlane.embedding_coe View on Github →