`BookProof.ChapterA3.mgammaZ_transpose` (μ : Fin 4) : (mgammaZ μ)ᵀ = (if μ = 0 then (-1 : ℤ) else 1) • mgammaZ μ

Initializing...

`BookProof.ChapterA3.mgammaZ_transpose` (μ : Fin 4) : (mgammaZ μ)ᵀ = (if μ = 0 then (-1 : ℤ) else 1) • mgammaZ μ · Prove2Me