`BookProof.ChapterEulerDensityMatrix.densityMatrix_idempotent` (t : ℝ) : densityMatrix t * densityMatrix t = densityMatrix t

Initializing...

`BookProof.ChapterEulerDensityMatrix.densityMatrix_idempotent` (t : ℝ) : densityMatrix t * densityMatrix t = densityMatrix t · Prove2Me