PSL2ZPresentation
P160155
predicate
Indicates that a group is presented as the modular group PSL(2,ℤ), typically via generators and relations defining its structure.