Theorem CoalgCat.MonoidalCategoryAux.leftUnitor_hom_toLinearMap

Modification history