binary_products): API for binary (co)products (#17317)

Commit

3 years ago

feat(category_theory/limits/shapes/binary_products): API for binary (co)products (#17317)

Author

erdOne

Parents