`BookProof.ChapterMajoranaFourier.mgamma_conjTranspose` (μ : Fin 4) : (mgamma μ)ᴴ = if μ = 0 then -mgamma μ else mgamma μ

Initializing...

`BookProof.ChapterMajoranaFourier.mgamma_conjTranspose` (μ : Fin 4) : (mgamma μ)ᴴ = if μ = 0 then -mgamma μ else mgamma μ · Prove2Me