Theorem CategoryTheory.Limits.hasBinaryProduct_of_products

Modification history

2024-11-26 12:47
Mathlib/CategoryTheory/Limits/Shapes/PiProd.lean
feat(CategoryTheory): split up a product into a binary product (#19199)
Added CategoryTheory.Limits.hasBinaryProduct_of_productsView on Github →