Skip to content

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

Draft
kim-em wants to merge 5 commits into
leanprover-community:masterfrom
kim-em:grind_cat_assoc
Draft

feat(CategoryTheory): add a grind propagator that normalizes morphism composition#39622
kim-em wants to merge 5 commits into
leanprover-community:masterfrom
kim-em:grind_cat_assoc

refactor: tidy up the grind cat-comp propagator

998032a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded May 20, 2026 in 1m 24s