PermuteGoals

📁 Source: Batteries/Tactic/PermuteGoals.lean

Statistics

Metric	Count
Definitions splitGoalsAndGetNth, tacticSwap, «tacticOn_goal-_=>_», «tacticPick_goal-_»	4
Theorems	0
Total	4

Batteries.Tactic

Definitions

Name	Category	Theorems
splitGoalsAndGetNth 📖	CompOp	—
tacticSwap 📖	CompOp	—
«tacticOn_goal-_=>_» 📖	CompOp	—
«tacticPick_goal-_» 📖	CompOp	—

---

← Back to Index