P
Initializing...
`BookProof.ChapterGellMann.su3gen_isHermitian` (a : Fin 8) : (su3gen a).IsHermitian · Prove2Me