fix(groupoid): redefine groupoid given by a group
fix(groupoid): redefine groupoid given by a group

The composition was in the reverse order

fpvandoorn/lean2,UlrikBuchholtz/lean,javra/lean,UlrikBuchholtz/lean,fpvandoorn/lean2,levnach/lean,javra/lean,soonhokong/lean,soonhokong/lean,UlrikBuchholtz/lean,javra/lean,javra/lean,javra/lean,soonhokong/lean,levnach/lean,fpvandoorn/lean2,levnach/lean,soonhokong/lean,levnach/lean,soonhokong/lean,fpvandoorn/lean2,UlrikBuchholtz/lean,fpvandoorn/lean2,UlrikBuchholtz/lean,levnach/lean