def Lean.Meta.Grind.preprocess (e : Expr) : GoalM Simp.Result

Preprocesses e using grind normalization theorems and simprocs, and then applies several other preprocessing steps.

Equations

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