Theorem CategoryTheory.CartesianMonoidalCategory.prodComparison_id

Modification history