Def Mathlib.Tactic.splitGoalsAndGetNth

Modification history

2023-11-28 03:17
Mathlib/Tactic/PermuteGoals.lean
chore: bump for std4#241 (#6975) …
Deleted Mathlib.Tactic.splitGoalsAndGetNthView on Github →
2022-02-06 19:49
Mathlib/Tactic/PermuteGoals.lean
feat: `rotate_goals`, `pick_goal` and `swap` (#178) …
Added Mathlib.Tactic.splitGoalsAndGetNthView on Github →