P
Initializing...
Theorem 1, Eq. (1): partial-transpose Bell-value difference · Prove2Me