mathlib3
chore(category_theory/cones): make functor argument of forget explicit
#2128

Merged

chore(category_theory/cones): make functor argument of forget explicit #2128

mergify merged 1 commit into master from cones_forget

chore(category_theory/cones): make functor argument of forget explicit

510294a0

jcommelin approved these changes on 2020-03-11

jcommelin added ready-to-merge

mergify merged 7cffe252 into master 5 years ago

mergify deleted the cones_forget branch 5 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone