Theorem ModuleCat.MonoidalCategory.tensor_comp

Modification history