Theorem CategoryTheory.CartesianMonoidalCategory.prodComparisonIso_id

Modification history