Description: Two structures with the
same group-nature have the same group multiple
function. is
expected to either be (when strong equality is
available) or
(when closure is available). (Contributed by Stefan
O'Rear, 21-Mar-2015.) (Revised by Mario Carneiro,
2-Oct-2015.)