Def CategoryTheory.CartesianMonoidalCategory.prodComparisonNatTrans

Modification history