Theorem CategoryTheory.MonoidalClosed.enrichedCategorySelf_hom

Modification history