`BookProof.ChapterMajoranaFourier.dgamma_spatial_sq` (i : Fin 3) : dgamma i.succ * dgamma i.succ = -1

Initializing...

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