Unfold

📁 Source: Aesop/Util/Unfold.lean

Statistics

Metric	Count
Definitions mkUnfoldSimpContext, unfoldMany, unfoldManyAt, unfoldManyCore, unfoldManyStar, unfoldManyTarget	6
Theorems	0
Total	6

Aesop

Definitions

Name	Category	Theorems
mkUnfoldSimpContext 📖	CompOp	—
unfoldMany 📖	CompOp	—
unfoldManyAt 📖	CompOp	—
unfoldManyCore 📖	CompOp	—
unfoldManyStar 📖	CompOp	—
unfoldManyTarget 📖	CompOp	—

---

← Back to Index