P
Initializing...
Proposition 17: complete preservation and Choi classes · Prove2Me