P
Initializing...
Naturality of superoperators under tensor-product isometries · Prove2Me