GuessName

📁 Source: Mathlib/Tactic/Translate/GuessName.lean

Statistics

Metric	Count
Definitions GuessNameData, abbreviationDict, nameDict, decapitalizeSeq, splitCase, applyNameDict, decapitalizeFirstLike, decapitalizeLike, endCapitalNames, fixAbbreviation, fixAbbreviationAux, guessName	12
Theorems	0
Total	12

Mathlib.Tactic.GuessName

Definitions

Name	Category	Theorems
GuessNameData 📖	CompData	—
applyNameDict 📖	CompOp	—
decapitalizeFirstLike 📖	CompOp	—
decapitalizeLike 📖	CompOp	—
endCapitalNames 📖	CompOp	—
fixAbbreviation 📖	CompOp	—
fixAbbreviationAux 📖	CompOp	—
guessName 📖	CompOp	—

Mathlib.Tactic.GuessName.GuessNameData

Definitions

Name	Category	Theorems
abbreviationDict 📖	CompOp	—
nameDict 📖	CompOp	—

Mathlib.Tactic.GuessName.String

Definitions

Name	Category	Theorems
decapitalizeSeq 📖	CompOp	—
splitCase 📖	CompOp	—

---

← Back to Index