mathlib3
feat(category_theory/image): comparison maps for precomposition
#2153

Merged

feat(category_theory/image): comparison maps for precomposition #2153

mergify merged 4 commits into master from image.pre_comp

feat(category_theory/image): comparison maps for precomposition

75aaac9e

remove duplicate argument

24c8a6c5

unused argument

30fb57ae

kim-em added awaiting-review

jcommelin approved these changes on 2020-03-16

jcommelin removed awaiting-review

jcommelin added ready-to-merge

Merge branch 'master' into image.pre_comp

fb22df4c

mergify merged 555528e1 into master 6 years ago

mergify deleted the image.pre_comp branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone