P

Initializing...

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