Theorem CategoryTheory.CartesianMonoidalCategory.prodComparisonNatTrans_comp

Modification history