1var group__group_Monoid = 2[ 3 [ "plus", "group__group-Monoid.html#gaeb5d4a1e967e319712f9e4791948896c", null ], 4 [ "zero", "group__group-Monoid.html#gad459ac17b6bab8ead1cae7de0032f3c6", null ] 5];
1var group__group_Monoid = 2[ 3 [ "plus", "group__group-Monoid.html#gaeb5d4a1e967e319712f9e4791948896c", null ], 4 [ "zero", "group__group-Monoid.html#gad459ac17b6bab8ead1cae7de0032f3c6", null ] 5];