Theorem CategoryTheory.CartesianMonoidalCategory.prodComparison_natural_whiskerLeft

Modification history