Mathlib

Atlas/Number/Modular forms

The modular group

1/4

The upper half-plane ℍ = {z : Im z > 0} is the stage.