mathlib3

feat(category_theory): add naturality_assoc simp lemma

#2200

Merged