Documentation

Lean.Meta.Tactic.Grind.Arith.Cutsat.VarRename

source
def Int.Linear.Poly.renameVars (p : Poly) (f : Lean.Meta.Grind.VarRename) :
Poly
Equations
    Instances For
      source
      def Int.Linear.Expr.renameVars (e : Expr) (f : Lean.Meta.Grind.VarRename) :
      Expr
      Equations
        Instances For
          source
          def Int.Linear.Poly.collectVars (p : Poly) :
          Lean.Meta.Grind.VarCollector
          Equations
            Instances For
              source
              def Int.Linear.Expr.collectVars (e : Expr) :
              Lean.Meta.Grind.VarCollector
              Equations
                Instances For