ForwardRuleMatches

📁 Source: Aesop/Tree/Data/ForwardRuleMatches.lean

Statistics

Metric	Count
Definitions ForwardRuleMatches, empty, erase, eraseHyp, eraseHyps, eraseMany, insert, insertMany, instEmptyCollection, normMatches, normRules, ofArray, safeMatches, safeRules, size, unsafeMatches, unsafeRules, update, instInhabitedForwardRuleMatches, default	20
Theorems	0
Total	20

Aesop

Definitions

Name	Category	Theorems
ForwardRuleMatches 📖	CompData	—
instInhabitedForwardRuleMatches 📖	CompOp	—

Aesop.ForwardRuleMatches

Definitions

Name	Category	Theorems
empty 📖	CompOp	—
erase 📖	CompOp	—
eraseHyp 📖	CompOp	—
eraseHyps 📖	CompOp	—
eraseMany 📖	CompOp	—
insert 📖	CompOp	—
insertMany 📖	CompOp	—
instEmptyCollection 📖	CompOp	—
normMatches 📖	CompOp	—
normRules 📖	CompOp	—
ofArray 📖	CompOp	—
safeMatches 📖	CompOp	—
safeRules 📖	CompOp	—
size 📖	CompOp	—
unsafeMatches 📖	CompOp	—
unsafeRules 📖	CompOp	—
update 📖	CompOp	—

Aesop.instInhabitedForwardRuleMatches

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index