DOC: Clarifying remark on IsAutomorphismGroup

This resolves #4070
gap-system · Jul 16, 2020 · d452611 · d452611
1 parent 701621f
commit d452611
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/morpheus.gd b/lib/morpheus.gd
@@ -123,7 +123,9 @@ DeclareAttribute( "AutomorphismDomain", IsGroupOfAutomorphisms );
 ## <Prop Name="IsAutomorphismGroup" Arg='G'/>
 ##
 ## <Description>
-## indicates whether <A>G</A> is the full automorphism group of another
+## indicates whether <A>G</A>, which must be
+## <Ref Prop="IsGroupOfAutomorphisms"/>,
+## is the full automorphism group of another
 ## group <M>H</M>, this group is given as <Ref Attr="AutomorphismDomain"/>
 ## value of <A>G</A>.
 ## <Example><![CDATA[