OAI/Algebra/Finitistic/Dimension/
176 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- PDAllSimples.lean 2 declarations
- PDBalancedRight.lean 7 declarations
- PDBarDetection.lean 6 declarations
- PDBarQuotient.lean 13 declarations
- PDBarQuotientAction.lean 7 declarations
- PDBarTensorComparison.lean 7 declarations
- PDBaseBarConsumer.lean 5 declarations
- PDCoverRadical.lean 3 declarations
- PDCovers.lean 4 declarations
- PDDerivedBarConsumer.lean 4 declarations
- PDDetection.lean 5 declarations
- PDDimension.lean 7 declarations
- PDLowerBound.lean 4 declarations
- PDMinimalData.lean 19 declarations
- PDMinimalResolution.lean 8 declarations
- PDRadical.lean 3 declarations
- PDResidueAssociativity.lean 9 declarations
- PDResidueBaseBar.lean 9 declarations
- PDResidueProjection.lean 15 declarations
- PDResidueRing.lean 1 declarations
- PDResidueScalar.lean 2 declarations
- PDResidueSemisimple.lean 1 declarations
- PDResidueTensor.lean 10 declarations
- PDResolutionDetection.lean 4 declarations
- PDSimpleTensor.lean 2 declarations
- PDSquareZero.lean 5 declarations
- PDSquareZeroResidue.lean 5 declarations
- PDTensorFunctor.lean 4 declarations
- PDTor.lean 5 declarations