glen/RAQ
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity

forgot rank

Browse Source
This commit is contained in:
Glen Whitney 2017-10-29 21:33:02 -04:00
parent 9646c6e5ee
commit 3e7d40f11c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gap/constructions.gi
View File

@ -105,7 +105,7 @@ end);
# is pre-empted by the immediate method that all collections of size # is pre-empted by the immediate method that all collections of size
# larger than one are non-trivial. # larger than one are non-trivial.
InstallImmediateMethod(IsTrivial, "for a left quasigroup", InstallImmediateMethod(IsTrivial, "for a left quasigroup",
[IsLeftQuasigroup and HasSize], 1, IsLeftQuasigroup and HasSize, 1,
Q -> ForAll(LeftPerms(Q), p -> p = ()) Q -> ForAll(LeftPerms(Q), p -> p = ())
); );