P
Initializing...
Diagonal substitution `x ↦ E_{1,1}` is multiplicative into the quantum torus. · Prove2Me