`BookProof.QuantumGravityBrstCharge.bosOp_sub` (S T : Module.End ℂ qgPoly) : bosOp (S - T) = bosOp S

Initializing...

`BookProof.QuantumGravityBrstCharge.bosOp_sub` (S T : Module.End ℂ qgPoly) : bosOp (S - T) = bosOp S - bosOp T · Prove2Me