Commit 2021-07-27 16:37 6c2f80c9
View on Github →feat(category_theory/limits): disjoint coproducts (#8380) Towards a more detailed hierarchy of categorical properties.
feat(category_theory/limits): disjoint coproducts (#8380) Towards a more detailed hierarchy of categorical properties.