feat(CategoryTheory/Presentable): the uniformization theorem#31018
Open
joelriou wants to merge 309 commits into
Open
feat(CategoryTheory/Presentable): the uniformization theorem#31018joelriou wants to merge 309 commits into
joelriou wants to merge 309 commits into
Commits
This pull request is big! We're only showing the most recent 250 commits
Commits on Sep 28, 2025
- 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
- committed
Commits on Oct 19, 2025
Commits on Oct 20, 2025
- committed
- committed
- committed
- 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
Commits on Oct 29, 2025
Commits on Nov 8, 2025
Commits on Nov 9, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 17, 2025
Commits on Nov 18, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 29, 2025
Commits on May 21, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge remote-tracking branch 'origin/cardinal-directed-poset' into partial-order-cardinal-accessible
committed- andauthored
- andauthored
- andauthored
- committed
Commits on May 22, 2026
- committed
- committed
- committed
Merge remote-tracking branch 'origin/cardinal-directed-poset' into partial-order-cardinal-accessible
committed- committed
Merge remote-tracking branch 'origin/cardinal-directed-poset' into partial-order-cardinal-accessible
committed- committed
Commits on May 29, 2026
- committed
- committed
- committed
- committed
Merge remote-tracking branch 'origin/cardinal-directed-poset' into partial-order-cardinal-accessible
committed
Commits on Jun 20, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Jun 23, 2026
Commits on Jun 24, 2026
- committed
- andauthored
- committed
- committed
Commits on Jun 25, 2026
Commits on Jun 26, 2026
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- committed
- committed
Commits on Jul 1, 2026
- andauthored
- andauthored
- committed
- committed
- committed
- committed
Commits on Jul 3, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
- andauthored
- andauthored
- committed
- committed
- committed