Theorem ModuleCat.MonoidalCategory.id_tensorHom_id

Modification history