Theorem CategoryTheory.CartesianMonoidalCategory.prodComparisonNatTrans_id

Modification history