Theorem CategoryTheory.CartesianMonoidalCategory.whiskerRight_snd

Modification history