GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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}