Display (4), p.4 — Uhlmann: a purification $\psi_{01}$ of $\rho_B(\psi'_{0,\gamma})$ with $\langle\psi_{01}|\psi'_{1,\gamma}\rangle = \sqrt{F'(\gamma)}$

Initializing...

Display (4), p.4 — Uhlmann: a purification $\psi_{01}$ of $\rho_B(\psi'_{0,\gamma})$ with $\langle\psi_{01}|\psi'_{1,\gamma}\rangle = \sqrt{F'(\gamma)}$ · Prove2Me