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

Equations

• One or more equations did not get rendered due to their size.