Skip to content
Back to pull request #38012

[Merged by Bors] - chore(CategoryTheory/Limits): dualize existence of limits in Over to Under #288181

Sign in to view logs

[Merged by Bors] - chore(CategoryTheory/Limits): dualize existence of limits in Over to Under

[Merged by Bors] - chore(CategoryTheory/Limits): dualize existence of limits in Over to Under #288181

ci (fork)  /  Post-Build Step

ci (fork) / Post-Build Step
succeeded Apr 13, 2026 in 2m 47s