Skip to content
Back to pull request #38012

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

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 #20128

check_title

check_title
succeeded Apr 13, 2026 in 1m 19s