Theorem CategoryTheory.MonoidalCategory.tensorIso_def

Modification history