Def Lean.Elab.Tactic.iterateAtMost

Modification history

2022-12-21 04:17
Mathlib/Tactic/Core.lean
feat: implement basic version of tauto tactic (#1081) …
Added Lean.Elab.Tactic.iterateAtMostView on Github →