Unfold

📁 Source: Aesop/Builder/Unfold.lean

Statistics

Metric	Count
Definitions checkUnfoldableConst, hasConst, unfold, unfoldCore	4
Theorems	0
Total	4

Aesop.RuleBuilder

Definitions

Name	Category	Theorems
checkUnfoldableConst 📖	CompOp	—
hasConst 📖	CompOp	—
unfold 📖	CompOp	—
unfoldCore 📖	CompOp	—

---

← Back to Index