Basic
📁 Source: Aesop/Rule/Basic.lean
Statistics
| Metric | Count |
|---|---|
DefinitionscompareByName, compareByPriority, compareByPriorityThenName, extra, indexingMode, instBEq, instHashable, instOrd, map, mapM, name, pattern?, tac, instInhabitedRule, default | 15 |
| Theorems | 0 |
| Total | 15 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
instInhabitedRule 📖 | CompOp | — |
Aesop.Rule
Definitions
| Name | Category | Theorems |
|---|---|---|
compareByName 📖 | CompOp | — |
compareByPriority 📖 | CompOp | — |
compareByPriorityThenName 📖 | CompOp | — |
extra 📖 | CompOp | — |
indexingMode 📖 | CompOp | — |
instBEq 📖 | CompOp | — |
instHashable 📖 | CompOp | — |
instOrd 📖 | CompOp | — |
map 📖 | CompOp | — |
mapM 📖 | CompOp | — |
name 📖 | CompOp | — |
pattern? 📖 | CompOp | — |
tac 📖 | CompOp | — |
Aesop.instInhabitedRule
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
---