mathlib3
feat(category_theory): some natural isomorphisms related to composition by functors
#2189

Merged

feat(category_theory): some natural isomorphisms related to composition by functors #2189

mergify merged 6 commits into master from pair_comp

feat(category_theory): some natural isomorphisms related to compositi…

4ec867f4

tidy up

44e44d2d

cleanup

2d816a8e

fix

cea46ce4

better design

2c4882b1

jcommelin approved these changes on 2020-03-19

jcommelin added ready-to-merge

Merge branch 'master' into pair_comp

402bacdd

mergify merged 6c97ce02 into master 6 years ago

mergify deleted the pair_comp branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone