Descr

📁 Source: Aesop/RuleTac/Descr.lean

Statistics

Metric	Count
Definitions RuleTacDescr, forwardRuleMatches?, instInhabitedRuleTacDescr, default	4
Theorems	0
Total	4

Aesop

Definitions

Name	Category	Theorems
RuleTacDescr 📖	CompData	—
instInhabitedRuleTacDescr 📖	CompOp	—

Aesop.RuleTacDescr

Definitions

Name	Category	Theorems
forwardRuleMatches? 📖	CompOp	—

Aesop.instInhabitedRuleTacDescr

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index