OAI/Algebra/AuslanderReiten/Triangular/
169 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- ConvertedCriterion.lean 1 declarations
- ConvertedNoncommutative.lean 5 declarations
- ConvertedScalarExtension.lean 5 declarations
- ConvertedStructure.lean 7 declarations
- ConvertedTensorCriterion.lean 1 declarations
- Triangular.lean 30 declarations
- TriangularCategory.lean 9 declarations
- TriangularCochain.lean 4 declarations
- TriangularComparison.lean 5 declarations
- TriangularComparisonTransport.lean 5 declarations
- TriangularComplete.lean 5 declarations
- TriangularCrossHom.lean 13 declarations
- TriangularDualExact.lean 5 declarations
- TriangularExact.lean 2 declarations
- TriangularFunctor.lean 13 declarations
- TriangularHom.lean 12 declarations
- TriangularInduction.lean 9 declarations
- TriangularModule.lean 19 declarations
- TriangularProjective.lean 11 declarations
- TriangularRadical.lean 8 declarations