mathlib

6d750521 - feat(category_theory): braided and symmetric categories