Commit 2022-04-08 05:13 9f3e7fba

View on Github →

feat(category_theory/limits): further API for commuting limits (#13215) Needed for LTE.

Estimated changes