`BookProof.ChapterEulerDensityMatrix.densityMatrix_apply_one` (t : ℝ) : densityMatrix t 1 1 = Real.sin t ^ 2

Initializing...

`BookProof.ChapterEulerDensityMatrix.densityMatrix_apply_one` (t : ℝ) : densityMatrix t 1 1 = Real.sin t ^ 2 · Prove2Me