Def CategoryTheory.CartesianMonoidalCategory.prodComparisonBifunctorNatTrans

Modification history