Theorem ModuleCat.MonoidalCategory.hom_apply

Modification history