Def Lean.Elab.Tactic.iterateUntilFailureCount

Modification history

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