Def CategoryTheory.Limits.Fan.IsLimit.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.Fan.IsLimit.prod View on Github →