Fold

📁 Source: Cslib/Foundations/Control/Monad/Free/Fold.lean

Statistics

Metric	Count
Definitions foldFreeM	1
Theorems foldFreeM_liftBind, foldFreeM_pure, foldFreeM_unique	3
Total	4

Cslib.FreeM

Definitions

Name	Category	Theorems
foldFreeM 📖	CompOp	3 math math: foldFreeM_liftBind, foldFreeM_unique, foldFreeM_pure

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
foldFreeM_liftBind 📖	mathematical	—	foldFreeM liftBind	—	—
foldFreeM_pure 📖	mathematical	—	foldFreeM pure	—	—
foldFreeM_unique 📖	mathematical	pure liftBind	foldFreeM	—	foldFreeM_pure foldFreeM_liftBind

---

← Back to Index