`BookProof.BookBrstYangMills.ghostOpN_add` (S T : Module.End ℂ (GhostSpace N)) : ghostOpN (S + T) = ghostOpN S + ghostOpN T

Initializing...

`BookProof.BookBrstYangMills.ghostOpN_add` (S T : Module.End ℂ (GhostSpace N)) : ghostOpN (S + T) = ghostOpN S + ghostOpN T · Prove2Me