mybe IsTrivial declarations unnecessary

This commit is contained in:
Glen Whitney 2017-10-29 20:06:12 -04:00
parent f646050aa1
commit ba8bc89544

View File

@ -4,8 +4,6 @@
DeclareGlobalFunction("TrivialLeftQuandle"); DeclareGlobalFunction("TrivialLeftQuandle");
DeclareGlobalFunction("TrivialRightQuandle"); DeclareGlobalFunction("TrivialRightQuandle");
DeclareProperty("IsTrivial", IsLeftQuasigroup);
DeclareProperty("IsTrivial", IsRightQuasigroup);
## Convenience functions ## Convenience functions