Theorem CoalgCat.MonoidalCategoryAux.comul_tensorObj

Modification history