`BookProof.YangMillsAbelianEsa.ymAbelian_eq_fqOp` : ymHamiltonian (coreRepPoly 99) 0 = fqOp ymFqP ymFqQ 0 0 0

Initializing...

`BookProof.YangMillsAbelianEsa.ymAbelian_eq_fqOp` : ymHamiltonian (coreRepPoly 99) 0 = fqOp ymFqP ymFqQ 0 0 0 · Prove2Me