Theorem CoalgCat.MonoidalCategoryAux.comul_tensorObj_tensorObj_left

Modification history