Name

📁 Source: Aesop/RuleSet/Name.lean

Statistics

Metric	Count
Definitions RuleSetName, isReserved, builtinRuleSetName, builtinRuleSetNames, defaultRuleSetName, localRuleSetName	6
Theorems	0
Total	6

Aesop

Definitions

Name	Category	Theorems
RuleSetName 📖	CompOp	—
builtinRuleSetName 📖	CompOp	—
builtinRuleSetNames 📖	CompOp	—
defaultRuleSetName 📖	CompOp	—
localRuleSetName 📖	CompOp	—

Aesop.RuleSetName

Definitions

Name	Category	Theorems
isReserved 📖	CompOp	—

---

← Back to Index