Def CategoryTheory.MonoidalCategory.tensorIso

Modification history