`BookProof.ChapterGellMann.su3gen_traceOrthonormal` : YangMillsSU3.TraceOrthonormal su3gen

Initializing...

`BookProof.ChapterGellMann.su3gen_traceOrthonormal` : YangMillsSU3.TraceOrthonormal su3gen · Prove2Me