Theorem CategoryTheory.CartesianMonoidalCategory.prodComparison_inv_natural_whiskerRight

Modification history