Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-27 09:16 238c58c3

View on Github →

chore(category_theory/limits): golf a proof (#5130)

Estimated changes

modified theorem category_theory.arrow.w