Def category_theory.symmetric_of_has_finite_products

Modification history

2020-08-02 11:46
src/category_theory/monoidal/of_has_finite_products.lean
feat(category_theory): braided and symmetric categories (#3550) …
Added category_theory.symmetric_of_has_finite_productsView on Github →