]> gitweb.michael.orlitzky.com - sage.d.git/search
eja: propagate check_axioms to some other "check" variables.