Theorem ModuleCat.MonoidalCategory.leftUnitor_hom_apply

Modification history