Theorem CoalgCat.MonoidalCategoryAux.tensorHom_toLinearMap

Modification history