Theorem CategoryTheory.HasShift.quotient'_aux

Modification history

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