`BookProof.ChapterA3.mgamma_map_conj` (μ : Fin 4) : (mgamma μ).map (starRingEnd ℂ) = mgamma μ

Initializing...

`BookProof.ChapterA3.mgamma_map_conj` (μ : Fin 4) : (mgamma μ).map (starRingEnd ℂ) = mgamma μ · Prove2Me