OAI/Algebra/FinitisticAsymmetry/Derived/
111 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- BoundedGeneration.lean 8 declarations
- ComplexSums.lean 13 declarations
- Coproducts.lean 8 declarations
- DerivedSums.lean 5 declarations
- ExactExtension.lean 2 declarations
- LocalizingRetracts.lean 12 declarations
- ModuleGeneration.lean 10 declarations
- ModuleSums.lean 6 declarations
- Telescopes.lean 14 declarations
- Truncations.lean 18 declarations
- UpperTruncation.lean 15 declarations