P
Initializing...
`BookProof.ChapterParity.dgamma0_sq` : dgamma 0 * dgamma 0 = 1 · Prove2Me