`BookProof.ChapterCoherentFidelity.fidelityC_eq_one_iff` (q k : EuclideanSpace ℂ (Fin n)) : fidelityC q k = 1 ↔ q = k

Initializing...

`BookProof.ChapterCoherentFidelity.fidelityC_eq_one_iff` (q k : EuclideanSpace ℂ (Fin n)) : fidelityC q k = 1 ↔ q = k · Prove2Me