Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-03 12:33 36dd78ee

View on Github →

feat(category_theory): full and faithful functors, switching products also the evaluation functor, and replace the ↝ arrow with ⥤, by request

Estimated changes