OAI/CategoryTheory/ThickClosure/
349 declarations, 0 contain sorry, 0 declared as axioms; 28 files
Files
- ActionDerived.lean 10 declarations
- BackwardStep.lean 2 declarations
- Coefficients.lean 18 declarations
- Criterion.lean 2 declarations
- CyclicShift.lean 14 declarations
- CyclicStructure.lean 10 declarations
- CyclicTriangle.lean 10 declarations
- DerivedHom.lean 5 declarations
- FiniteProducts.lean 1 declarations
- FiniteTower.lean 8 declarations
- FreeHomology.lean 2 declarations
- GradedSplit.lean 20 declarations
- HomologyBridge.lean 6 declarations
- LaurentAction.lean 46 declarations
- LaurentCriterion.lean 5 declarations
- LaurentModules.lean 40 declarations
- LocalizationHom.lean 2 declarations
- Main.lean 30 imports, no declarations
- PerfectModules.lean 21 declarations
- PeriodicBackward.lean 1 declarations
- PeriodicDerived.lean 19 declarations
- PeriodicDual.lean 12 declarations
- PeriodicHom.lean 13 declarations
- PeriodicSplitting.lean 30 declarations
- PrincipalModules.lean 17 declarations
- SourceCriterion.lean 10 declarations
- Unroll.lean 8 declarations
- UnrollDerived.lean 17 declarations