P
Initializing...
`BookProof.ChapterMajoranaFourier.gamma0_sq` : dgamma 0 * dgamma 0 = 1 · Prove2Me