`BookProof.ChapterA4g.SUtwo_one_mem` : (1 : Matrix (Fin 2) (Fin 2) ℂ) ∈ SUtwo · Prove2Me

P

Initializing...

`BookProof.ChapterA4g.SUtwo_one_mem` : (1 : Matrix (Fin 2) (Fin 2) ℂ) ∈ SUtwo · Prove2Me