Documentation

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.

Equations
Instances For