Def category_theory.monoidal_category.full_monoidal_subcategory

Modification history