feat(CategoryTheory/Limits): chosen pullbacks#35393
Open
joelriou wants to merge 13 commits intoleanprover-community:masterfrom
Open
feat(CategoryTheory/Limits): chosen pullbacks#35393joelriou wants to merge 13 commits intoleanprover-community:masterfrom
joelriou wants to merge 13 commits intoleanprover-community:masterfrom
Commits
Commits on Feb 16, 2026
- committed
- committed
Commits on Feb 17, 2026
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- committed
- committed
- committed
- committed
