]> gitweb.michael.orlitzky.com - sage.d.git/commit
eja: add another TODO, technically for the octonions...
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 2 Mar 2021 04:33:14 +0000 (23:33 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 2 Mar 2021 04:33:14 +0000 (23:33 -0500)
commit8e8f38a7f283ea32535fcbdfdac642b70c08c8ad
tree0ccee90df880de8741bca48b9f5fa1a69793cb69
parent61037c13a8d4988428aeb79b383f3b45dbad8778
eja: add another TODO, technically for the octonions...
mjo/eja/TODO