Def ModuleCat.MonoidalCategory.rightUnitor

Modification history