Def CategoryTheory.Limits.coproductIsCoproduct

Modification history

2026-10-04 06:22
Mathlib/CategoryTheory/Limits/Shapes/Products.lean
feat(Translate): command for adding a translation (#43750) …
Deleted CategoryTheory.Limits.coproductIsCoproductView on Github →
2023-03-07 13:12
Mathlib/CategoryTheory/Limits/Shapes/Products.lean
feat: port CategoryTheory.Limits.Shapes.Products (#2564)
Added CategoryTheory.Limits.coproductIsCoproductView on Github →