modular group PSL(2,ℤ)

GPTKB entity