Lean.Grind.CommRing.Poly →
  ℤ →
    Lean.Meta.Grind.Arith.CommRing.PolyDerivation →
      ℤ →
        Lean.Grind.CommRing.Mon → Lean.Meta.Grind.Arith.CommRing.EqCnstr → Lean.Meta.Grind.Arith.CommRing.PolyDerivation