Def CategoryTheory.Quotient.shiftFunctor'Factors

Modification history

2023-08-18 09:39

Mathlib/CategoryTheory/Shift/Quotient.lean

trying to revert unwanted commits

Deleted CategoryTheory.Quotient.shiftFunctor'Factors View on Github →

2023-08-18 09:29

Mathlib/CategoryTheory/Shift/Quotient.lean

feat: the shift on a quotient category

Added CategoryTheory.Quotient.shiftFunctor'Factors View on Github →