OAI/Algebra/AuslanderReiten/Complete/
210 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- CompleteCokernelLifts.lean 5 declarations
- CompleteComparison.lean 25 declarations
- CompleteCone.lean 8 declarations
- CompleteFunctorCokernelAction.lean 6 declarations
- CompleteFunctorRawEndpoint.lean 5 declarations
- CompleteNullhomotopy.lean 17 declarations
- CompleteResolution.lean 8 declarations
- CompleteResolutionAllProjectives.lean 4 declarations
- CompleteResolutionTail.lean 8 declarations
- CompleteShift.lean 7 declarations
- CompleteShiftDual.lean 12 declarations
- CompleteStableComparison.lean 6 declarations
- CompleteStableDualityAt.lean 3 declarations
- CompleteStableSourceNaturality.lean 5 declarations
- CompleteTailCanonical.lean 1 declarations
- CompleteTailEndpoint.lean 4 declarations
- CompleteTailExt.lean 5 declarations
- CompleteTailFunctor.lean 4 declarations
- CompleteTailMap.lean 3 declarations
- ConcreteTateModel.lean 3 declarations
- FiniteCompleteResolution.lean 33 declarations
- FrobeniusGorenstein.lean 2 declarations
- FullTateModel.lean 6 declarations
- ProjectiveCompleteResolution.lean 5 declarations
- RestrictionComplete.lean 5 declarations
- SelfInjectiveComplex.lean 2 declarations
- TateKoszul.lean 18 declarations