OAI/Algebra/AuslanderReiten/Algebras/
307 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- BaseAlgebra.lean 43 declarations
- BaseRadical.lean 13 declarations
- FrobeniusOpposite.lean 7 declarations
- FrobeniusTrace.lean 8 declarations
- Radical.lean 11 declarations
- SimpleDual.lean 8 declarations
- SimpleHomScalars.lean 5 declarations
- SimpleModule.lean 28 declarations
- SymmetricSocle.lean 4 declarations
- TCoordinates.lean 14 declarations
- TMultiplication.lean 25 declarations
- TSimple.lean 7 declarations
- TSimpleEnd.lean 6 declarations
- TSimpleTwist.lean 3 declarations
- TSocle.lean 4 declarations
- TensorFrobenius.lean 9 declarations
- TensorRadical.lean 14 declarations
- TensorSimple.lean 18 declarations
- TensorStructure.lean 20 declarations
- TrivialExtension.lean 48 declarations
- TrivialExtensionRadical.lean 12 declarations