feat(CategoryTheory): the κ-accessible category of κ-directed posets#31018
Open
joelriou wants to merge 174 commits intoleanprover-community:masterfrom
Open
feat(CategoryTheory): the κ-accessible category of κ-directed posets#31018joelriou wants to merge 174 commits intoleanprover-community:masterfrom
joelriou wants to merge 174 commits intoleanprover-community:masterfrom
Commits
Commits on Sep 11, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 20, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 21, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 22, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 23, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
- andauthored
- andauthored
- andauthored
- committed
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Sep 28, 2025
- andauthored
- andauthored
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 29, 2025
Commits on Oct 2, 2025
- committed
Merge remote-tracking branch 'origin/object-property-limits-of-shape' into split-limits-presentation
committed- committed
- committed
- committed
- committed
- committed
Commits on Oct 5, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Oct 7, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
- andauthored
- committed
- committed
Merge remote-tracking branch 'origin/refactor-isseparating-prerequisites' into refactor-isseparating
committed- committed
- committed
Commits on Oct 11, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 12, 2025
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 16, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 17, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 19, 2025
Commits on Oct 20, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 25, 2025
Commits on Oct 27, 2025
- andauthored
- committed
- committed
- committed
- committed
Commits on Oct 28, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed