OAI/Algebra/AuslanderReiten/Stable/
151 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- CanonicalCosyzygy.lean 7 declarations
- CanonicalCosyzygyShift.lean 6 declarations
- RawSourceCoordinates.lean 5 declarations
- RawSourceDegrees.lean 10 declarations
- RawSourceStable.lean 2 declarations
- SourceStableCoordinates.lean 4 declarations
- SourceStableShift.lean 2 declarations
- StableConnecting.lean 1 declarations
- StableExt.lean 4 declarations
- StableExtEquiv.lean 11 declarations
- StableExtNaturality.lean 1 declarations
- StableExtPrecomp.lean 1 declarations
- StableHom.lean 40 declarations
- StableHomEquiv.lean 4 declarations
- StableHomology.lean 12 declarations
- StableHomotopyIso.lean 4 declarations
- StableIsomorphism.lean 9 declarations
- StableProjectiveSummand.lean 2 declarations
- StableTargetHomology.lean 10 declarations
- TargetStableCoordinates.lean 6 declarations
- TensorStableEnd.lean 10 declarations