`BookProof.ChapterA3j.chir_mgamma_anticomm` (μ : Fin 4) : chir * mgamma μ = -(mgamma μ * chir)

Initializing...

`BookProof.ChapterA3j.chir_mgamma_anticomm` (μ : Fin 4) : chir * mgamma μ = -(mgamma μ * chir) · Prove2Me