Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.prod_id

Modification history

2019-09-04 12:27
src/category_theory/products/basic.lean
feat(category_theory/sums): sums (disjoint unions) of categories (#1357) …
Modified category_theory.prod_idView on Github →
2018-08-28 19:38
category_theory/products.lean
fix(tactic/restate_axiom): change default naming in restate_axiom (#286) …
Modified category_theory.prod_idView on Github →
2018-08-11 03:59
category_theory/products.lean
fix(category_theory): consistent use of coercions, consistent naming (#248)
Added category_theory.prod_idView on Github →