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