`BookProof.ChapterGellMann.gellMann_trace_zero` (a : Fin 8) : (gellMann a).trace = 0 · Prove2Me

P

Initializing...

`BookProof.ChapterGellMann.gellMann_trace_zero` (a : Fin 8) : (gellMann a).trace = 0 · Prove2Me