😺 SmallCategories
Beta
Categories
Propositions
Query
Stats
About
Support
Proposition has_binary_coproducts
Quick Reference
Web ID
3687fed0-5471-4bee-84ff-097afcb244a8
Description
True if the category has binary coproducts.