P
Initializing...
Corollary 2: entrywise quadratic Choi errors imply quadratic diamond error · Prove2Me