P
Initializing...
A cusp-form dimension lower bound from weighted monomials · Prove2Me