Theorem CategoryTheory.CartesianMonoidalCategory.prodComparison_snd

Modification history