[Merged by Bors] - feat(CategoryTheory/Category/Preorder): isIso_homOfLE#33877
Closed
joelriou wants to merge 4 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat(CategoryTheory/Category/Preorder): isIso_homOfLE#33877joelriou wants to merge 4 commits intoleanprover-community:masterfrom
joelriou wants to merge 4 commits intoleanprover-community:masterfrom
Commits
Commits on Jan 12, 2026
- committed
- committed
- committed
