Def category_theory.monoidal_category.tensor_left

Modification history