Def category_theory.monoidal_category.left_assoc_tensor

Modification history