Def Mathlib.Tactic.runAndFailIfNoProgress

Modification history

2023-02-11 15:01
Mathlib/Tactic/FailIfNoProgress.lean
feat: port Tactic.Group (#2122) …
Added Mathlib.Tactic.runAndFailIfNoProgressView on Github →