P
Initializing...
The cusp-condition codimension is at most the cusp double-coset count · Prove2Me