Theorem CategoryTheory.CartesianMonoidalCategory.prodComparisonBifunctorNatTrans_comp

Modification history