Position

📁 Source: Batteries/Lean/Position.lean

Statistics

Metric	Count
Definitions rangeOfStx?, findIndentAndIsStart, findLineStart	3
Theorems	0
Total	3

Lean

Definitions

Name	Category	Theorems
findIndentAndIsStart 📖	CompOp	—
findLineStart 📖	CompOp	—

Lean.FileMap

Definitions

Name	Category	Theorems
rangeOfStx? 📖	CompOp	—

---

← Back to Index