mathlib3
feat(category_theory/limits): derive has_binary_products from has_limit (pair X Y)
#2139

Merged

feat(category_theory/limits): derive has_binary_products from has_limit (pair X Y) #2139

mergify merged 3 commits into master from shape-iso

feat(category_theory/limits): derive has_binary_products from has_lim…

48d05546

jcommelin approved these changes on 2020-03-12

jcommelin assigned

kim-em 6 years ago

kim-em commented on 2020-03-12

kim-em added awaiting-author

Rename *_of_diagram to diagram_iso_*

41111043

kim-em approved these changes on 2020-03-13

kim-em removed awaiting-author

kim-em added ready-to-merge

Merge branch 'master' into shape-iso

68a30dd0

mergify merged ade1ee30 into master 6 years ago

mergify deleted the shape-iso branch 6 years ago

Reviewers

kim-em

jcommelin

Assignees

kim-em

Labels

ready-to-merge

Milestone

No milestone