mathlib3
chore(category_theory/cones): make functor argument of forget explicit
#2128
Merged
Merged
Commits
-
kim-em committed 5 years ago
