Theorem CategoryTheory.MonoidalClosed.whiskerLeft_curry'_comp

Modification history