mathlib documentation

analysis.complex.upper_half_plane.topology

Topology on the upper half plane #

In this file we introduce a topological_space structure on the upper half plane and provide various instances.