Commit 2025-03-21 13:29 29c3d22b

View on Github →

feat(CategoryTheory/Enriched/Limits): add HasConicalTerminal (#23141)

Estimated changes