Theorem CategoryTheory.CartesianMonoidalCategory.prodComparison_fst

Modification history