Skip to content

[Merged by Bors] - chore(CategoryTheory/EssentiallySmall): lower priority of the Category (Shrink C) instance - #42981

Closed
dennj wants to merge 1 commit into
leanprover-community:masterfrom
dennj:shrink-preorder-category-priority
Closed

[Merged by Bors] - chore(CategoryTheory/EssentiallySmall): lower priority of the Category (Shrink C) instance#42981
dennj wants to merge 1 commit into
leanprover-community:masterfrom
dennj:shrink-preorder-category-priority

Commits

Commits on Aug 20, 2026