Def Mathlib.Tactic.elabClean

Modification history

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