Basic

📁 Source: FLT/Mathlib/RepresentationTheory/Basic.lean

Statistics

Metric	Count
Definitions baseChange, gl_map_of_basis, «term_⊗ᵣ'_», «term_⊗ᵣ_»	4
Theorems comp_def	1
Total	5

Representation

Definitions

Name	Category	Theorems
baseChange 📖	CompOp	1 math math: IsAbsolutelyIrreducible.absolutelyIrreducible
gl_map_of_basis 📖	CompOp	—
«term_⊗ᵣ'_» 📖	CompOp	—
«term_⊗ᵣ_» 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
comp_def 📖	—	—	—	—	—

---

← Back to Index