P
Initializing...
Theorem 4.23 proof — compact convex geometry of unital channels · Prove2Me