# Commit 2020-03-16 01:31 c240fcb3

View on Github →feat(category_theory/limits): pullbacks from binary products and equalizers (#2143)

- feat(category_theory/limits): derive has_binary_products from has_limit (pair X Y)
- Rename
*of_diagram to diagram_iso* - feat(category_theory/limits): pullbacks from binary products and equalizers
- Fix build
- Fix indentation
- typos
- Fix proof
- Remove some simp lemmas that were duplicated during merge