Theorem CategoryTheory.CartesianMonoidalCategory.prodComparison_inv_natural

Modification history