mathlib3

feat(category_theory/products): missing simp lemmas

#1003

Merged