Theorem CategoryTheory.MonoidalClosed.curry'_id

Modification history