Theorem CategoryTheory.CartesianMonoidalCategory.prodComparison_natural_whiskerRight

Modification history