shapes): avoid choice for binary products (#2695)

Commit

5 years ago

feat(category_theory/limits/shapes): avoid choice for binary products (#2695) A tiny change to liberate binary products from the axiom of choice

References

Author

b-mehta

Parents