`BookProof.ChapterCoherentFidelity.fidelityC_pos` (q k : EuclideanSpace ℂ (Fin n)) : 0 < fidelityC q k

Initializing...

`BookProof.ChapterCoherentFidelity.fidelityC_pos` (q k : EuclideanSpace ℂ (Fin n)) : 0 < fidelityC q k · Prove2Me