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

Initializing...

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