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

Equations

• Lean.Meta.Grind.Arith.internalize e parent? = Lean.Meta.Grind.Arith.Offset.internalize e parent?