refactor(CategoryTheory/Presentable): cleaning up HasCardinalFilteredGenerator(s)#30459
Open
joelriou wants to merge 54 commits intoleanprover-community:masterfrom
Open
refactor(CategoryTheory/Presentable): cleaning up HasCardinalFilteredGenerator(s)#30459joelriou wants to merge 54 commits intoleanprover-community:masterfrom
joelriou wants to merge 54 commits intoleanprover-community:masterfrom
Commits
Commits on Sep 11, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 23, 2025
Commits on Sep 26, 2025
Commits on Oct 5, 2025
Commits on Oct 6, 2025
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 8, 2025
Commits on Oct 11, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Oct 12, 2025
- committed
- committed
- committed
- committed
- committed
- committed