`BookProof.ChapterParity.field_hermitian_decomp` (X : Matrix n n ℂ) : X = hermPart X + Complex.I • antihermPart X

Initializing...

`BookProof.ChapterParity.field_hermitian_decomp` (X : Matrix n n ℂ) : X = hermPart X + Complex.I • antihermPart X · Prove2Me