Theorem CategoryTheory.CartesianMonoidalCategory.prodComparisonIso_comp

Modification history