`BookProof.ChapterMajoranaProp74.A_mul_g` {g ns : Matrix (Fin 4) (Fin 4) ℂ} (hg2 : g * g = 1) : (ns * g) * g = ns

Initializing...

`BookProof.ChapterMajoranaProp74.A_mul_g` {g ns : Matrix (Fin 4) (Fin 4) ℂ} (hg2 : g * g = 1) : (ns * g) * g = ns · Prove2Me