Def Lean.Elab.Tactic.iterateExactly'

Modification history

2023-02-09 13:57
Mathlib/Tactic/Core.lean
feat: port Tactic.Slice (#2109) …
Added Lean.Elab.Tactic.iterateExactly'View on Github →