P
Initializing...
$S_k(\mathrm{SL}_2(\mathbb{Z}))=0$ for $k<12$ · Prove2Me