Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
category_theory.product_category.comp
Modification history
2018-08-08 00:44
category_theory/products.lean
refactor(category_theory/products): tweak PR after merge
Deleted
category_theory.product_category.comp
View on Github →
2018-08-08 00:32
category_theory/products.lean
feat(category_theory): product categories and functor categories (#239)
Added
category_theory.product_category.comp
View on Github →