mathlib3

8c95f952 - fix category/Group/monoidal.lean