Change doc of IsPGroup to *not* require finiteness

lib/grp.gd

@@ -415,9 +415,9 @@ DeclareOperation( "KnowsHowToDecompose", [ IsGroup, IsList ] );
 ##
 ##  <Description>
 ##  <Index Key="p-group"><M>p</M>-group</Index>
-##  A <E><M>p</M>-group</E> is a finite group whose order
-##  (see&nbsp;<Ref Func="Size"/>) is of the form <M>p^n</M> for a prime
-##  integer <M>p</M> and a nonnegative integer <M>n</M>.
+##  A <E><M>p</M>-group</E> is a group in which the order
+##  (see&nbsp;<Ref Func="Order"/>) of every element is of the form <M>p^n</M>
+##  for a prime integer <M>p</M> and a nonnegative integer <M>n</M>.
 ##  <Ref Prop="IsPGroup"/> returns <K>true</K> if <A>G</A> is a
 ##  <M>p</M>-group, and <K>false</K> otherwise.
 ##  </Description>