FormatTable

📁 Source: Mathlib/Util/FormatTable.lean

Statistics

Metric	Count
Definitions Alignment, justify, formatTable, instBEqAlignment, beq, instInhabitedAlignment, default	7
Theorems	0
Total	7

String

Definitions

Name	Category	Theorems
justify 📖	CompOp	—

(root)

Definitions

Name	Category	Theorems
Alignment 📖	CompData	—
formatTable 📖	CompOp	—
instBEqAlignment 📖	CompOp	—
instInhabitedAlignment 📖	CompOp	—

instBEqAlignment

Definitions

Name	Category	Theorems
beq 📖	CompOp	—

instInhabitedAlignment

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index