|
byconj.gd
|
get names of categories correct
|
2017-10-21 01:02:48 +02:00 |
|
byconj.gi
|
dumb library declaration of LeftQuotient
|
2017-10-21 01:15:18 +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 |