Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.product_category.id

Modification history

2018-08-08 00:44
category_theory/products.lean
refactor(category_theory/products): tweak PR after merge
Deleted category_theory.product_category.idView 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.idView on Github →