`BookProof.ChapterGellMann.su3gen_trace_zero` (a : Fin 8) : (su3gen a).trace = 0 · Prove2Me

P

Initializing...

`BookProof.ChapterGellMann.su3gen_trace_zero` (a : Fin 8) : (su3gen a).trace = 0 · Prove2Me