Theorem CategoryTheory.Limits.prodComparison_comp

Modification history

2026-08-20 12:19

Mathlib/CategoryTheory/Limits/Shapes/BinaryProducts.lean

refactor(CategoryTheory/Limits/Shapes): split up BinaryProducts.lean (#42917) …

Modified CategoryTheory.Limits.prodComparison_comp View on Github →

2024-07-10 18:10

Mathlib/CategoryTheory/Limits/Shapes/BinaryProducts.lean

feat (Category Theory): redefine and extend mates (#13840) …

Added CategoryTheory.Limits.prodComparison_comp View on Github →