Theorem ModuleCat.MonoidalCategory.pentagon

Modification history