A negative group power is the inverse of the positive power (lemma with
nonnegative exponent - use gxneg20926 instead). (Contributed by Paul
Chapman, 17-Apr-2009.) (Revised by Mario Carneiro, 15-Dec-2013.)
(New usage is discouraged.)