Theorem CategoryTheory.Limits.hasCoproducts_shrink

Modification history

2024-12-06 15:26
Mathlib/CategoryTheory/Limits/Shapes/Products.lean
feat(CategoryTheory): expand the API for AB axioms (#19200) …
Added CategoryTheory.Limits.hasCoproducts_shrinkView on Github →