P
Initializing...
Theorem 6: monotonicity under partial trace and corrected equality · Prove2Me