P
Initializing...
§2.1 and (7): identities of the partial transpose of permutation · Prove2Me