`BookProof.QuantumGravityBrstCharge.elemGen_apply` (j k : Fin d) (p : MvPolynomial (Fin d) ℂ) : elemGen j k p = X j * derOp k p

Initializing...

`BookProof.QuantumGravityBrstCharge.elemGen_apply` (j k : Fin d) (p : MvPolynomial (Fin d) ℂ) : elemGen j k p = X j * derOp k p · Prove2Me