get names of categories correct

This commit is contained in:
Glen Whitney 2017-10-21 01:02:48 +02:00
parent 55d35589ad
commit bae88b4b75

View File

@ -4,7 +4,7 @@
DeclareCategory( "IsConjugatorObject",
IsMultiplicativeElement and IsLeftQuotientElement and
IsLDistributiveElement and IsIdempotent);
IsLSelfDistElement and IsIdempotent);
DeclareCategoryCollections("IsConjugatorObject");
DeclareAttribute("ConjugatorFamily", IsFamily);