Theorem CategoryTheory.CartesianMonoidalCategory.prodComparison_inv_natural_whiskerLeft

Modification history