`BookProof.ChapterCoherentFidelity.fidelityC_eq_bornNumerC` (q k : EuclideanSpace ℂ (Fin n)) : fidelityC q k = bornNumerC q k

Initializing...

`BookProof.ChapterCoherentFidelity.fidelityC_eq_bornNumerC` (q k : EuclideanSpace ℂ (Fin n)) : fidelityC q k = bornNumerC q k · Prove2Me