`BookProof.ChapterParity.hermPart_isHermitian` (X : Matrix n n ℂ) : (hermPart X).IsHermitian

Initializing...

`BookProof.ChapterParity.hermPart_isHermitian` (X : Matrix n n ℂ) : (hermPart X).IsHermitian · Prove2Me