Irreducible

📁 Source: FLT/Deformations/RepresentationTheory/Irreducible.lean

Statistics

Metric	Count
Definitions IsAbsolutelyIrreducible, IsIrreducible	2
Theorems absolutelyIrreducible, irreducible	2
Total	4

Representation

Definitions

Name	Category	Theorems
IsAbsolutelyIrreducible 📖	CompData	—
IsIrreducible 📖	CompData	1 math math: IsAbsolutelyIrreducible.absolutelyIrreducible

Representation.IsAbsolutelyIrreducible

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
absolutelyIrreducible 📖	mathematical	—	Representation.IsIrreducible Representation.baseChange	—	—

Representation.IsIrreducible

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
irreducible 📖	mathematical	—	Subrepresentation Subrepresentation.instLattice Subrepresentation.instBoundedOrder	—	—

---

← Back to Index