Style

📁 Source: Mathlib/Tactic/Linter/Style.lean

Statistics

Metric	Count
Definitions findDollarSyntax, findLambdaSyntax, extractOpenNames, isSetOption, isCDot?, cdot, dollarSyntax, lambdaSyntax, longFile, longFileDefValue, longLine, missingEnd, nameCheck, openClassical, setOption, show	16
Theorems	0
Total	16

Mathlib.Linter

Definitions

Name	Category	Theorems
isCDot? 📖	CompOp	—

Mathlib.Linter.Style.dollarSyntax

Definitions

Name	Category	Theorems
findDollarSyntax 📖	CompOp	—

Mathlib.Linter.Style.lambdaSyntax

Definitions

Name	Category	Theorems
findLambdaSyntax 📖	CompOp	—

Mathlib.Linter.Style.openClassical

Definitions

Name	Category	Theorems
extractOpenNames 📖	CompOp	—

Mathlib.Linter.Style.setOption

Definitions

Name	Category	Theorems
isSetOption 📖	CompOp	—

Mathlib.Linter.linter.style

Definitions

Name	Category	Theorems
cdot 📖	CompOp	—
dollarSyntax 📖	CompOp	—
lambdaSyntax 📖	CompOp	—
longFile 📖	CompOp	—
longFileDefValue 📖	CompOp	—
longLine 📖	CompOp	—
missingEnd 📖	CompOp	—
nameCheck 📖	CompOp	—
openClassical 📖	CompOp	—
setOption 📖	CompOp	—
show 📖	CompOp	—

---

← Back to Index