`BookProof.ChapterMajoranaFourier.gamma0_spatial_anticomm` (i : Fin 3) : dgamma 0 * dgamma i.succ = -(dgamma i.succ * dgamma 0)

Initializing...

`BookProof.ChapterMajoranaFourier.gamma0_spatial_anticomm` (i : Fin 3) : dgamma 0 * dgamma i.succ = -(dgamma i.succ * dgamma 0) · Prove2Me