Topology on the upper half plane #
In this file we introduce a TopologicalSpace
structure on the upper half plane and provide
various instances.
Mathlib.Analysis.Complex.UpperHalfPlane.Topology
In this file we introduce a TopologicalSpace
structure on the upper half plane and provide
various instances.