`BookProof.ChapterEulerDensityMatrix.densityMatrix_symm` (t : ℝ) : (densityMatrix t)ᵀ = densityMatrix t

Initializing...

`BookProof.ChapterEulerDensityMatrix.densityMatrix_symm` (t : ℝ) : (densityMatrix t)ᵀ = densityMatrix t · Prove2Me