Def ModuleCat.MonoidalCategory.leftUnitor

Modification history