Theorem ModuleCat.MonoidalCategory.leftUnitor_naturality

Modification history