Theorem CategoryTheory.CartesianMonoidalCategory.prodComparisonIso_hom

Modification history