|
byconj.gd
|
get names of categories correct
|
2017-10-21 01:02:48 +02:00 |
|
byconj.gi
|
likewise for LeftQuotient
|
2017-10-21 20:58:41 +02:00 |
|
structure.gd
|
right quandles are not left racks
|
2017-10-20 15:48:34 +02:00 |
|
structure.gi
|
propagate finiteness at construction time
|
2017-10-20 16:45:11 +02:00 |