`BookProof.ChapterA4g.SEtwo_one_mem` : (1 : Matrix (Fin 2) (Fin 2) ℂ) ∈ SEtwo · Prove2Me

P

Initializing...

`BookProof.ChapterA4g.SEtwo_one_mem` : (1 : Matrix (Fin 2) (Fin 2) ℂ) ∈ SEtwo · Prove2Me