Section d, p.8 — purifications with $\langle\varphi_0|\varphi_1\rangle = F \ge 1 - 2\varepsilon$ (corrected: $\langle\varphi_0|\varphi_1\rangle = F$, not $\langle\varphi_0|\varphi_1\rangle^2 = F$)

Initializing...

Section d, p.8 — purifications with $\langle\varphi_0|\varphi_1\rangle = F \ge 1 - 2\varepsilon$ (corrected: $\langle\varphi_0|\varphi_1\rangle = F$, not $\langle\varphi_0|\varphi_1\rangle^2 = F$) · Prove2Me