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

Initializing...

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