73.68 ReverseIsomorphismCat1

ReverseIsomorphismCat1( C )

    gap> revmu := ReverseIsomorphismCat1( CC );
    Morphism of cat1-groups
       <[Perm(h20 

X c5 ==> h20]>
    gap> IsCat1Morphism( revmu );
    true  

Previous Up Top Next
Index