typo in that.

This commit is contained in:
Glen Whitney 2017-10-30 11:59:07 -04:00
parent 8f7f6891ec
commit aaaf1a04a9

View File

@ -54,7 +54,7 @@ DeclareRepresentation( "IsQuasigroupElmRep",
DeclareSynonym( "IsLoopElement", DeclareSynonym( "IsLoopElement",
IsQuasigroupElement and IsMultiplicativeElementWithInverse ); IsQuasigroupElement and IsMultiplicativeElementWithInverse );
DeclareRepresentation( "IsLoopElmRep", DeclareRepresentation( "IsLoopElmRep",
IsQuasigroupElmRRep and IsMultiplicativeElementWithInverse, [1] ); IsQuasigroupElmRep and IsMultiplicativeElementWithInverse, [1] );
## Right quasigroup ## Right quasigroup
DeclareCategory("IsRightQuasigroup", DeclareCategory("IsRightQuasigroup",