P

Initializing...

Section e, p.4 — an effect accepting $\psi$ with certainty accepts $\varphi$ with probability $\ge |\langle\varphi|\psi\rangle|^2$ · Prove2Me