has fundamental domain

URI: https://gptkb.org/prop/has_fundamental_domain
1 triples
GPTKB property
Random triples
Subject Object
gptkb:modular_group_PSL(2,_Z) {z in H : |z| ≥ 1, -1/2 ≤ Re(z) ≤ 1/2}