Commit 2020-04-13 13:52 01ac691d
View on Github →feat(category_theory/limits/shapes/binary_products): add some basic API for prod and coprod (#2396) Adding explicit proofs of some basic results about maps into A x B and maps from A coprod B
feat(category_theory/limits/shapes/binary_products): add some basic API for prod and coprod (#2396) Adding explicit proofs of some basic results about maps into A x B and maps from A coprod B