Theorem CategoryTheory.MonoidalClosed.enrichedCategorySelf_comp

Modification history