]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: propagate check_axioms to some other "check" variables.
authorMichael Orlitzky <michael@orlitzky.com>
Thu, 3 Dec 2020 02:38:54 +0000 (21:38 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Thu, 3 Dec 2020 02:38:54 +0000 (21:38 -0500)

No differences found