P
Initializing...
The map $\Phi_1$ of the dimension-ten pair is PPT · Prove2Me