mathlib
15d3268e - chore(category_theory/functor): make arguments implicit (#2103)

Commit

6 years ago

chore(category_theory/functor): make arguments implicit (#2103) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Author

kim-em

Parents