`BookProof.ChapterCoherentThermalFidelity.coherentThermalFidelity_vacuum_eq_fidelityC` {n : ℕ} (q k : EuclideanSpace ℂ (Fin n)) : coherentThermalFidelity 0 (‖q

Initializing...

`BookProof.ChapterCoherentThermalFidelity.coherentThermalFidelity_vacuum_eq_fidelityC` {n : ℕ} (q k : EuclideanSpace ℂ (Fin n)) : coherentThermalFidelity 0 (‖q - k‖ ^ 2) = fidelity · Prove2Me