`BookProof.ChapterA3.mgamma5Z_eq_prod` : mgamma5Z = mgammaZ 0 * mgammaZ 1 * mgammaZ 2 * mgammaZ 3

Initializing...

`BookProof.ChapterA3.mgamma5Z_eq_prod` : mgamma5Z = mgammaZ 0 * mgammaZ 1 * mgammaZ 2 * mgammaZ 3 · Prove2Me