Theorem CoalgCat.MonoidalCategoryAux.associator_hom_toLinearMap

Modification history