`BookProof.ChapterCoherentDynamics.fidelityC_phaseRotate` (theta : ℝ) (q k : EuclideanSpace ℂ (Fin n)) : fidelityC (phaseRotate theta q) (phaseRotate theta k) = fidelityC q k

Initializing...

`BookProof.ChapterCoherentDynamics.fidelityC_phaseRotate` (theta : ℝ) (q k : EuclideanSpace ℂ (Fin n)) : fidelityC (phaseRotate theta q) (phaseRotate theta k) = fidelityC q k · Prove2Me