`BookProof.BookBrstYangMills.ghostOpN_zero` : ghostOpN (0 : Module.End ℂ (GhostSpace N)) = 0

Initializing...

`BookProof.BookBrstYangMills.ghostOpN_zero` : ghostOpN (0 : Module.End ℂ (GhostSpace N)) = 0 · Prove2Me