mathlib3
feat(category_theory/limits): the isomorphism expressing preservation of chosen limits
#2192

Merged

feat(category_theory/limits): the isomorphism expressing preservation of chosen limits #2192

mergify merged 4 commits into master from preserves_limit_iso

feat(category_theory/limits): the isomorphism expressing preservation…

6ed879c3

jcommelin approved these changes on 2020-03-19

Update src/category_theory/limits/limits.lean

4cd98e03

jcommelin added ready-to-merge

merge

be24b330

Merge branch 'master' into preserves_limit_iso

f048b1ea

mergify merged 0f1b4654 into master 5 years ago

mergify deleted the preserves_limit_iso branch 5 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone