Substitution
📁 Source: Aesop/Forward/Substitution.lean
Statistics
| Metric | Count |
|---|---|
| 19 | |
| Theorems | 0 |
| Total | 19 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
Substitution 📖 | CompData | — |
instInhabitedSubstitution 📖 | CompOp | — |
openRuleType 📖 | CompOp | — |
Aesop.Substitution
Definitions
| Name | Category | Theorems |
|---|---|---|
containsHyp 📖 | CompOp | — |
empty 📖 | CompOp | — |
find? 📖 | CompOp | — |
findLevel? 📖 | CompOp | — |
insert 📖 | CompOp | — |
insertLevel 📖 | CompOp | — |
instBEq 📖 | CompOp | — |
instHashable 📖 | CompOp | — |
instOrd 📖 | CompOp | — |
instToMessageData 📖 | CompOp | — |
levels 📖 | CompOp | — |
mergeCompatible 📖 | CompOp | — |
openRuleType 📖 | CompOp | — |
premises 📖 | CompOp | — |
specializeRule 📖 | CompOp | — |
Aesop.instInhabitedSubstitution
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
---