mathlib3
feat(category_theory/limits) Binary product from pullbacks and terminal object
#1998
Merged
Merged
feat(category_theory/limits) Binary product from pullbacks and terminal object #1998
mergify
merged
10 commits into
leanprover-community:master
from
b-mehta:patch-1
Binary product from pullbacks and terminal object
ee5b930a
b-mehta
changed the title
Update binary_products.lean
5709bcae
Merge branch 'lean-3.5.1' into b-mehta-patch-1
f44ab8af
simplifications
70ea2059
pare down the proof a bit more
7b3f69e2
changes from review
81807d2a
Merge branch 'patch-1' into b-mehta-patch-1
39b31982
Merge pull request #1 from leanprover-community/b-mehta-patch-1
a9bb1c01
adjust simp to rw
c5be7913
jcommelin
approved these changes
on 2020-02-22
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into patch-1
cd7a5284
Login to write a write a comment.
Login via GitHub