ShiftAdditive

📁 Source: Mathlib/CategoryTheory/ObjectProperty/ShiftAdditive.lean

Statistics

Metric	Count
Definitions	0
Theorems instAdditiveFullSubcategoryShiftFunctor	1
Total	1

CategoryTheory.ObjectProperty

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instAdditiveFullSubcategoryShiftFunctor 📖	mathematical	—	CategoryTheory.Functor.Additive FullSubcategory FullSubcategory.category CategoryTheory.Preadditive.fullSubcategory CategoryTheory.shiftFunctor hasShift	—	CategoryTheory.Functor.additive_of_iso CategoryTheory.Functor.instAdditiveComp CategoryTheory.Functor.fullSubcategoryInclusion_additive CategoryTheory.Functor.additive_of_comp_faithful faithful_ι

---

← Back to Index