]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: revert random_element() to old fast behavior.
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 31 Jan 2022 22:22:44 +0000 (17:22 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 31 Jan 2022 22:22:44 +0000 (17:22 -0500)

No differences found