Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-08 22:46 15d3268e

View on Github →

chore(category_theory/functor): make arguments implicit (#2103)

Estimated changes