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

Initializing...

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