P
Initializing...
Theorem 4.23 — unital qubit channels are mixed unitary · Prove2Me