P
Initializing...
Theorem 8 — every pure state has a unique atomic effect with $(a|\varphi)=1$ · Prove2Me