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

Initializing...

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