P
Initializing...
Theorem 10 — spectral decomposition into perfectly distinguishable pure states · Prove2Me