`BookProof.BookBrstYangMills.bookConstraintAlgebra` : ConstraintAlgebra G.f (gaussGen G) chiOp betaOp where comm_chi _ _

Initializing...

`BookProof.BookBrstYangMills.bookConstraintAlgebra` : ConstraintAlgebra G.f (gaussGen G) chiOp betaOp where comm_chi _ _ · Prove2Me