Theorem CategoryTheory.MonoidalClosed.id_tensor_pre_app_comp_ev

Modification history