Class

📁 Source: Aesop/Search/Queue/Class.lean

Statistics

Metric	Count
Definitions addGoals, init, init', popGoal	4
Theorems	0
Total	4

Aesop.Queue

Definitions

Name	Category	Theorems
addGoals 📖	CompOp	—
init 📖	CompOp	—
init' 📖	CompOp	—
popGoal 📖	CompOp	—

---

← Back to Index