`BookProof.YangMillsAbelianEsa.ymAbelianPoly_eq_fqPoly` : ymAbelianPoly = fqPoly ymFqP ymFqQ 0 0 0

Initializing...

`BookProof.YangMillsAbelianEsa.ymAbelianPoly_eq_fqPoly` : ymAbelianPoly = fqPoly ymFqP ymFqQ 0 0 0 · Prove2Me