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