`BookProof.ChapterObservableOperator.outerProj_isHermitian` (k : EuclideanSpace ℂ (Fin n)) : (outerProj k).IsHermitian

Initializing...

`BookProof.ChapterObservableOperator.outerProj_isHermitian` (k : EuclideanSpace ℂ (Fin n)) : (outerProj k).IsHermitian · Prove2Me