yeah one more
This commit is contained in:
parent
cc19d81941
commit
fb5f9af82f
@ -460,7 +460,7 @@ InstallMethod(Opposite, "for a finitely generated magma with one",
|
||||
end);
|
||||
|
||||
InstallMethod(Opposite, "for a finitely generated magma with inverse",
|
||||
[IsMagmaWithInverse and HasGeneratorsOfMagmaWithInverses],
|
||||
[IsMagmaWithInverses and HasGeneratorsOfMagmaWithInverses],
|
||||
function(M)
|
||||
local fam, elts;
|
||||
fam := CollectionsFamily(OppositeFamily(ElementsFamily(FamilyObj(M))));
|
||||
|
Loading…
Reference in New Issue
Block a user