A tactic stub file for the guard_goal_nums
tactic.
guard_goal_nums n
succeeds if there are exactly n
goals and fails otherwise.
Mathlib.Tactic.GuardGoalNums
A tactic stub file for the guard_goal_nums
tactic.
guard_goal_nums n
succeeds if there are exactly n
goals and fails otherwise.