Commit 2024-10-04 21:26 584dd88a

View on Github →

feat(CategoryTheory/Limits): generalize universes for preserving finite products (#17408)

Estimated changes