Def CategoryTheory.Limits.Cofan.IsColimit.prod

Modification history

2025-06-22 09:40

Mathlib/CategoryTheory/Limits/Shapes/Products.lean

feat(CategoryTheory/Extensive): pullbacks distribute over finite coproducts (#26186) …

Added CategoryTheory.Limits.Cofan.IsColimit.prod View on Github →