Theorem ModuleCat.MonoidalCategory.rightUnitor_hom_apply

Modification history