Theorem CategoryTheory.CartesianMonoidalCategory.whiskerRight_fst

Modification history