GLzero

📁 Source: FLT/GlobalLanglandsConjectures/GLzero.lean

Statistics

Metric	Count
Definitions classification, ofComplex, IsTrivial, classification, ofComplex	5
Theorems	0
Total	5
⚠️ With sorry IsTrivial	1

AutomorphicForm.GL0

Definitions

Name	Category	Theorems
classification 📖	CompOp	—
ofComplex 📖	CompOp	—

AutomorphicForm.GLn

Definitions

Name	Category	Theorems
classification 📖	CompOp	—
ofComplex 📖	CompOp	—

AutomorphicForm.GLn.Weight

Definitions

Name	Category	Theorems
IsTrivial 📖 ⚠️	MathDef	—

---

← Back to Index