]> gitweb.michael.orlitzky.com - sage.d.git/history - mjo/eja/TODO
eja: text the inner product axiom of an EJA.
[sage.d.git] / mjo / eja / TODO
2019-07-29 Michael Orlitzkyeja: add a TODO with some tests that fail for now.