Def Lean.Elab.Tactic.iterateRange

Modification history

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