OAI/Algebra/AuslanderReiten/Duality/
196 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- DualResolution.lean 56 declarations
- DualTensorComplex.lean 7 declarations
- DualTensorEvaluation.lean 14 declarations
- DualTensorModule.lean 5 declarations
- FiniteStableDuality.lean 2 declarations
- FiniteStableResolutionIso.lean 7 declarations
- IdealDualComparison.lean 11 declarations
- IdealDualComplex.lean 9 declarations
- IdealDualHomology.lean 7 declarations
- LinearHomologyDuality.lean 10 declarations
- ProjectiveStableDuality.lean 3 declarations
- ProjectiveStablePairing.lean 4 declarations
- ProjectiveTraceDuality.lean 9 declarations
- RightDual.lean 19 declarations
- RightDualHomology.lean 11 declarations
- SymmetricHomology.lean 3 declarations
- SymmetricPairing.lean 4 declarations
- SymmetricStableDuality.lean 15 declarations