Theorem CategoryTheory.MonoidalCategory.tensorIso_def'

Modification history