`BookProof.ChapterMajoranaFourier.gamma0_nslash_anticomm` (n : Fin 3 → ℝ) : dgamma 0 * nslash n = -(nslash n * dgamma 0)

Initializing...

`BookProof.ChapterMajoranaFourier.gamma0_nslash_anticomm` (n : Fin 3 → ℝ) : dgamma 0 * nslash n = -(nslash n * dgamma 0) · Prove2Me