Theorem ModuleCat.MonoidalCategory.associator_naturality

Modification history