Theorem CategoryTheory.MonoidalClosed.enrichedCategorySelf_id

Modification history