Theorem CategoryTheory.MonoidalClosed.enrichedOrdinaryCategorySelf_homEquiv_symm

Modification history