feat(category_theory/whiskering): simp-lemmas for unitors and associators (#505)
feat(category_theory/whiskering): simp-lemmas for unitors and associators (#505)


leanprover-community/mathlib,leanprover-community/mathlib