`BookProof.ChapterMajoranaFourier.nslash_conjTranspose` (n : Fin 3 → ℝ) : (nslash n)ᴴ = -nslash n

Initializing...

`BookProof.ChapterMajoranaFourier.nslash_conjTranspose` (n : Fin 3 → ℝ) : (nslash n)ᴴ = -nslash n · Prove2Me