Theorem CategoryTheory.CartesianMonoidalCategory.prodComparison_comp

Modification history