[Merged by Bors] - chore(CategoryTheory/Limits/Shapes/BinaryProducts): More universe flexibility for pairComp
#717
Job | Run time |
---|---|
1m 11s | |
1m 11s |
pairComp
#717
Job | Run time |
---|---|
1m 11s | |
1m 11s |