`BookProof.ChapterEulerDensityMatrix.densityMatrix_apply_zero` (t : ℝ) : densityMatrix t 0 0 = Real.cos t ^ 2

Initializing...

`BookProof.ChapterEulerDensityMatrix.densityMatrix_apply_zero` (t : ℝ) : densityMatrix t 0 0 = Real.cos t ^ 2 · Prove2Me