Theorem CategoryTheory.CartesianMonoidalCategory.whiskerLeft_snd

Modification history