diff --git a/lib/grp.gd b/lib/grp.gd index 523a3a460e..18cab436dc 100644 --- a/lib/grp.gd +++ b/lib/grp.gd @@ -446,6 +446,7 @@ InstallSubsetMaintenance( IsPGroup, InstallFactorMaintenance( IsPGroup, IsGroup and IsPGroup, IsObject, IsGroup ); +InstallTrueMethod( IsFinite, IsPGroup ); InstallTrueMethod( IsPGroup, IsGroup and IsTrivial ); InstallTrueMethod( IsPGroup, IsGroup and IsElementaryAbelian );