`BookProof.ChapterEulerDensityMatrix.densityMatrix_trace` (t : ℝ) : Matrix.trace (densityMatrix t) = 1

Initializing...

`BookProof.ChapterEulerDensityMatrix.densityMatrix_trace` (t : ℝ) : Matrix.trace (densityMatrix t) = 1 · Prove2Me