P
Initializing...
`BookProof.ChapterEulerDensityMatrix.Jdens_sq` : Jdens * Jdens = -1 · Prove2Me