Def CategoryTheory.Quotient.natTransLift

Modification history

2023-09-05 08:30
Mathlib/CategoryTheory/Quotient.lean
feat: the shift on a quotient category (#6653) …
Added CategoryTheory.Quotient.natTransLiftView on Github →
2023-08-18 09:50
Mathlib/CategoryTheory/Quotient.lean
reverting an unwanted addition to CategoryTheory.Quotient
Deleted CategoryTheory.Quotient.natTransLiftView on Github →
2023-08-18 09:29
Mathlib/CategoryTheory/Quotient.lean
feat: the shift on a quotient category
Added CategoryTheory.Quotient.natTransLiftView on Github →