Theorem CategoryTheory.MonoidalClosed.curry'_comp

Modification history