PR #2127 chore(category_theory): remove functor.of

chore(category_theory): remove functor.of #2127

mergify merged 3 commits into master from remove_functor_of

chore(category_theory): remove functor.of

4e7a464b

kim-em requested a review from

jcommelin 6 years ago

fix

c54a6c6d

jcommelin approved these changes on 2020-03-11

jcommelin added ready-to-merge

Merge branch 'master' into remove_functor_of

1cd6a764

mergify merged 43431be5 into master 6 years ago

mergify deleted the remove_functor_of branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone