Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-07 15:41 556483f4

View on Github →

feat(category_theory/limits): (co)equalizers in the opposite category (#11874)

Estimated changes