[Merged by Bors] - chore(CategoryTheory/Limits/Shapes/BinaryProducts): More universe flexibility for pairComp
#717
Annotations
2 notices
lake exe autolabel
Applicable labels: #[t-category-theory]
|
lake exe autolabel
added label: t-category-theory
|
Loading