`BookProof.QuantumGravityBrstCharge.ghostOp_mul` (S T : Module.End ℂ ghostSpace) : ghostOp (S * T) = ghostOp S * ghostOp T

Initializing...

`BookProof.QuantumGravityBrstCharge.ghostOp_mul` (S T : Module.End ℂ ghostSpace) : ghostOp (S * T) = ghostOp S * ghostOp T · Prove2Me