`BookProof.QuantumGravityBrstCharge.bosOp_smul` (r : ℝ) (T : Module.End ℂ qgPoly) : bosOp (r • T) = r • bosOp T

Initializing...

`BookProof.QuantumGravityBrstCharge.bosOp_smul` (r : ℝ) (T : Module.End ℂ qgPoly) : bosOp (r • T) = r • bosOp T · Prove2Me