prov:value
| - InstancesGroup () Group a => Group (Dual a) Num a => Group (Sum a) Fractional a => Group (Product a) Group b => Group (a -> b) (Group a, Group b) => Group (a, b) (Group a, Group b, Group c) => Group (a, b, c) (Group a, Group b, Group c, Group d) => Group (a, b, c, d) (Group a, Group b, Group c, Group d, Group e) => Group (a, b, c, d, e) class Group g => Abelian g SourceAn Abelian group is a Group
|