Index
📁 Source: Aesop/Index.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsIndex, add, applicableRules, byHyp, byTarget, fold, foldM, instEmptyCollection, merge, trace, unindex, unindexed, instInhabitedIndex, default | 14 |
| Theorems | 0 |
| Total | 14 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
Index 📖 | CompData | — |
instInhabitedIndex 📖 | CompOp | — |
Aesop.Index
Definitions
| Name | Category | Theorems |
|---|---|---|
add 📖 | CompOp | — |
applicableRules 📖 | CompOp | — |
byHyp 📖 | CompOp | — |
byTarget 📖 | CompOp | — |
fold 📖 | CompOp | — |
foldM 📖 | CompOp | — |
instEmptyCollection 📖 | CompOp | — |
merge 📖 | CompOp | — |
trace 📖 | CompOp | — |
unindex 📖 | CompOp | — |
unindexed 📖 | CompOp | — |
Aesop.instInhabitedIndex
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
---