Commit 2024-08-27 12:32 bf104706

View on Github →

feat: generalize universes in preservesFiniteProductsOfPreservesBinaryAndTerminal (#16178)

Estimated changes

Modified Mathlib/CategoryTheory/Limits/Constructions/FiniteProductsOfBinaryProducts.lean

modified def CategoryTheory.preservesFiniteCoproductsOfPreservesBinaryAndInitial

modified def CategoryTheory.preservesFiniteProductsOfPreservesBinaryAndTerminal