Theorem CategoryTheory.MonoidalClosed.curry'_whiskerRight_comp

Modification history