This commit is contained in:
Glen Whitney 2017-10-23 03:01:38 +02:00
parent b749798764
commit 2d0e6740ba
1 changed files with 1 additions and 1 deletions

View File

@ -321,7 +321,7 @@ AddDictionary(OFDir@, "IsExtRElement", IsExtLElement);
AddDictionary(OFDir@, "IsFiniteOrderElement", IsFiniteOrderElement);
AddDictionary(OFDir@, "IsInt", fail);
AddDictionary(OFDir@, "IsLeftQuotientElement", IsRightQuotientElement);
AddDictionary(OfDir@, "IsList", fail);
AddDictionary(OFDir@, "IsList", fail);
AddDictionary(OFDir@, "IsLSelfDistElement", IsRSelfDistElement);
AddDictionary(OFDir@, "IsMultiplicativeElement", fail);
AddDictionary(OFDir@, "IsMultiplicativeElementWithInverse",