P
Initializing...
`BookProof.ChapterPinOmega.qjC_eq_dirac` : dgamma 0 * ((-Complex.I) • mgamma5) = qjC · Prove2Me