P
Initializing...
The arithmetic core of the $\mathbf T$-rule for the Euclidean descent in $\mathrm{SL}(2,\mathbb Z)$ · Prove2Me