`BookProof.ChapterParity.antihermPart_isHermitian` (X : Matrix n n ℂ) : (antihermPart X).IsHermitian

Initializing...

`BookProof.ChapterParity.antihermPart_isHermitian` (X : Matrix n n ℂ) : (antihermPart X).IsHermitian · Prove2Me