feat(CategoryTheory/Monoidal): tensorμ_braid_swap and tensor-product IsCommComonObj#38314

pedroscortes wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

pedroscortes:pcortes/tensormu-braid-swap-and-comm-comon-tensorpedroscortes/mathlib4:pcortes/tensormu-braid-swap-and-comm-comon-tensorCopy head branch name to clipboard