Theorem CategoryTheory.CartesianMonoidalCategory.prodComparison_natural

Modification history