Theorem CategoryTheory.MonoidalClosed.uncurry_ihom_map

Modification history