feat(CategoryTheory): add a grind propagator that normalizes morphism composition#39622

kim-em wants to merge 5 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

kim-em:grind_cat_assockim-em/mathlib4:grind_cat_assocCopy head branch name to clipboard