feat(category_theory/bifunctor): simp lemmas (#867)
feat(category_theory/bifunctor): simp lemmas (#867)

* feat(category_theory/bifunctor): simp lemmas

* remove need for @, thanks Kenny and Chris!

leanprover-community/mathlib,leanprover-community/mathlib