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

Initializing...

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