Theorem ModuleCat.MonoidalCategory.triangle

Modification history