Theorem CategoryTheory.CartesianMonoidalCategory.whiskerLeft_fst

Modification history