Theorem CoalgCat.MonoidalCategoryAux.comul_tensorObj_tensorObj_right

Modification history