Glen Whitney
|
bc20a37410
|
unnecessary quotes
|
2017-10-21 01:27:37 +02:00 |
|
Glen Whitney
|
722e25f140
|
temp change
|
2017-10-21 01:24:13 +02:00 |
|
Glen Whitney
|
ad744b76bd
|
typos
|
2017-10-21 01:17:58 +02:00 |
|
Glen Whitney
|
d021d67c1c
|
dumb library declaration of LeftQuotient
|
2017-10-21 01:15:18 +02:00 |
|
Glen Whitney
|
a9b981f149
|
need right quotients too
|
2017-10-21 01:11:04 +02:00 |
|
Glen Whitney
|
d91f0a660d
|
two typos on one line, wow
|
2017-10-21 01:08:13 +02:00 |
|
Glen Whitney
|
62c3cb04f2
|
add conjugation quandles!
|
2017-10-21 00:51:30 +02:00 |
|