Theorem CategoryTheory.CartesianMonoidalCategory.ofChosenFiniteProducts.triangle

Modification history