feat(CategoryTheory): categories of presheaves are locally presentable#30247
Open
joelriou wants to merge 95 commits intoleanprover-community:masterfrom
Open
feat(CategoryTheory): categories of presheaves are locally presentable#30247joelriou wants to merge 95 commits intoleanprover-community:masterfrom
joelriou wants to merge 95 commits intoleanprover-community:masterfrom
Commits
Commits on Sep 11, 2025
- 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
Commits on Sep 26, 2025
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
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 6, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed