mathlib documentation

category_theory.monoidal.of_chosen_finite_products.symmetric

The symmetric monoidal structure on a category with chosen finite products. #