Documentation

Lean.Meta.Tactic.Grind.Arith.Internalize

source
def Lean.Meta.Grind.Arith.internalize (e : Expr) (parent? : Option Expr) :
GoalM Unit
Equations
    Instances For