Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-29 15:42 f83468d3

View on Github →

feat(category_theory/functor_category): monos in the functor category (#4811)

Estimated changes