`BookProof.QuantumGravityBrstCharge.bosOp_mul` (S T : Module.End ℂ qgPoly) : bosOp (S * T) = bosOp S * bosOp T

Initializing...

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