Def CategoryTheory.CartesianMonoidalCategory.prodComparison

Modification history