var group__group_Monoid =
[
[ "plus", "group__group-Monoid.html#gaeb5d4a1e967e319712f9e4791948896c", null ],
[ "zero", "group__group-Monoid.html#gad459ac17b6bab8ead1cae7de0032f3c6", null ]
];