Commit 2020-10-03 05:00 069952b8

chore(category_theory/limits/binary_products): weaken assumptions (#4373) weakens the assumptions on which limits need to exist for these constructions not much of a change but the assumptions I used were too strong so just a small fix