UnusedNames

📁 Source: Batteries/Lean/Meta/UnusedNames.lean

Statistics

Metric	Count
Definitions getUnusedUserName, getUnusedUserNameIndex, getUnusedUserNames, getUnusedUserName, getUnusedUserNames, MatchUpToIndexSuffix, matchUpToIndexSuffix	7
Theorems	0
Total	7

Lean.LocalContext

Definitions

Name	Category	Theorems
getUnusedUserName 📖	CompOp	—
getUnusedUserNameIndex 📖	CompOp	—
getUnusedUserNames 📖	CompOp	—

Lean.Meta

Definitions

Name	Category	Theorems
getUnusedUserName 📖	CompOp	—
getUnusedUserNames 📖	CompOp	—

Lean.Name

Definitions

Name	Category	Theorems
MatchUpToIndexSuffix 📖	CompData	—
matchUpToIndexSuffix 📖	CompOp	—

---

← Back to Index