hasFiniteAreaQuotient

P77183
predicate

Indicates that the quotient space formed by the given object under a specified group action has finite total area with respect to the relevant geometric or measure-theoretic structure.

All labels observed (1)

Label Occurrences
hasFiniteAreaQuotient canonical 1

Sample triples (1)

Subject Object
modular group PSL(2,Z)
surface form: PSL(2,ℤ)
ℍ/PSL(2,ℤ)