`BookProof.ChapterParityHiggs.pseudoreal_kron_pseudoreal_real` {m n : Type*} [Fintype m] [Fintype n] [DecidableEq m] [DecidableEq n] (A : Matrix m m ℂ) (B : Matrix n n ℂ) (hA : A *

Initializing...

`BookProof.ChapterParityHiggs.pseudoreal_kron_pseudoreal_real` {m n : Type*} [Fintype m] [Fintype n] [DecidableEq m] [DecidableEq n] (A : Matrix m m ℂ) (B : Matrix n n ℂ) (hA : A * · Prove2Me