Theorem CategoryTheory.MonoidalClosed.pre_comm_ihom_map

Modification history