Theorem CategoryTheory.MonoidalClosed.enrichedOrdinaryCategorySelf_eHomWhiskerRight

Modification history