Def Lean.Expr.cleanConsts

Modification history

2023-09-19 12:32
Mathlib/Tactic/Clean.lean
port the clean tactic from lean 3 to lean 4 (#5909)
Added Lean.Expr.cleanConstsView on Github →