`BookProof.ChapterMajoranaProp74.majoranaFourier_prop74` (m q : ℝ) (hm : 0 ≤ m) (hq : 0 < q) (n : Fin 3 → ℝ) (hn : ∑ i, (n i) ^ 2 = 1) : Qmat (dgamma 0) (nslash n) m q * Sinv (Aop

Initializing...

`BookProof.ChapterMajoranaProp74.majoranaFourier_prop74` (m q : ℝ) (hm : 0 ≤ m) (hq : 0 < q) (n : Fin 3 → ℝ) (hn : ∑ i, (n i) ^ 2 = 1) : Qmat (dgamma 0) (nslash n) m q * Sinv (Aop · Prove2Me