Def category_theory.monoidal_category.full_braided_subcategory.map

Modification history

2022-05-27 04:25
src/category_theory/monoidal/subcategory.lean
feat(category_theory/monoidal/subcategory): full monoidal subcategories (#14311) …
Added category_theory.monoidal_category.full_braided_subcategory.mapView on Github →