`BookProof.ChapterMajoranaFourier.mgammaZ_transpose` (μ : Fin 4) : (mgammaZ μ)ᵀ = if μ = 0 then -mgammaZ μ else mgammaZ μ

Initializing...

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