Theorem CategoryTheory.MonoidalClosed.enrichedOrdinaryCategorySelf_homEquiv

Modification history