Theorem CoalgCat.MonoidalCategoryAux.tensorObj_comul

Modification history