`BookProof.BookBrstYangMills.bosOpN_zero` : bosOpN (0 : Module.End ℂ (FieldPoly N)) = 0

Initializing...

`BookProof.BookBrstYangMills.bosOpN_zero` : bosOpN (0 : Module.End ℂ (FieldPoly N)) = 0 · Prove2Me