RulePattern
📁 Source: Aesop/RulePattern.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsRulePattern, argMap, boundPremises, discrTreeKeys, elab, levelArgMap, match, open, pattern, instInhabitedRulePattern, default | 11 |
| Theorems | 0 |
| Total | 11 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
RulePattern 📖 | CompData | — |
instInhabitedRulePattern 📖 | CompOp | — |
Aesop.RulePattern
Definitions
| Name | Category | Theorems |
|---|---|---|
argMap 📖 | CompOp | — |
boundPremises 📖 | CompOp | — |
discrTreeKeys 📖 | CompOp | — |
elab 📖 | CompOp | — |
levelArgMap 📖 | CompOp | — |
match 📖 | CompOp | — |
open 📖 | CompOp | — |
pattern 📖 | CompOp | — |
Aesop.instInhabitedRulePattern
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
---