Def CategoryTheory.Quotient.shiftFunctor'

Modification history

2023-08-18 09:39
Mathlib/CategoryTheory/Shift/Quotient.lean
trying to revert unwanted commits
Deleted CategoryTheory.Quotient.shiftFunctor'View on Github →
2023-08-18 09:29
Mathlib/CategoryTheory/Shift/Quotient.lean
feat: the shift on a quotient category
Added CategoryTheory.Quotient.shiftFunctor'View on Github →