Theorem ModuleCat.MonoidalCategory.rightUnitor_naturality

Modification history