Member

📁 Source: Aesop/RuleSet/Member.lean

Statistics

Metric	Count
Definitions BaseRuleSetMember, name, GlobalRuleSetMember, name, LocalRuleSetMember, name, toGlobalRuleSetMember?, instInhabitedBaseRuleSetMember, default, instInhabitedGlobalRuleSetMember, default, instInhabitedLocalRuleSetMember, default	13
Theorems	0
Total	13

Aesop

Definitions

Name	Category	Theorems
BaseRuleSetMember 📖	CompData	—
GlobalRuleSetMember 📖	CompData	—
LocalRuleSetMember 📖	CompData	—
instInhabitedBaseRuleSetMember 📖	CompOp	—
instInhabitedGlobalRuleSetMember 📖	CompOp	—
instInhabitedLocalRuleSetMember 📖	CompOp	—

Aesop.BaseRuleSetMember

Definitions

Name	Category	Theorems
name 📖	CompOp	—

Aesop.GlobalRuleSetMember

Definitions

Name	Category	Theorems
name 📖	CompOp	—

Aesop.LocalRuleSetMember

Definitions

Name	Category	Theorems
name 📖	CompOp	—
toGlobalRuleSetMember? 📖	CompOp	—

Aesop.instInhabitedBaseRuleSetMember

Definitions

Name	Category	Theorems
default 📖	CompOp	—

Aesop.instInhabitedGlobalRuleSetMember

Definitions

Name	Category	Theorems
default 📖	CompOp	—

Aesop.instInhabitedLocalRuleSetMember

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index