Def category_theory.monoidal_category.full_monoidal_subcategory.map

Modification history