`BookProof.QuantumGravityBrstCharge.ghostOp_add` (S T : Module.End ℂ ghostSpace) : ghostOp (S + T) = ghostOp S + ghostOp T

Initializing...

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