`BookProof.ChapterParity.gellMann_conj` (a : Fin 8) : (gellMann a).map (starRingEnd ℂ) = (gellMannConjSign a) • gellMann a

Initializing...

`BookProof.ChapterParity.gellMann_conj` (a : Fin 8) : (gellMann a).map (starRingEnd ℂ) = (gellMannConjSign a) • gellMann a · Prove2Me