diff options
author | 2018-03-10 20:36:25 -0500 | |
---|---|---|
committer | 2018-03-12 13:15:41 -0400 | |
commit | 768dc8d4524b0e48b54fd56876312032e626484a (patch) | |
tree | cabf51c725d422418d529948791c5c1a8edb1ddc /src/Specific/solinas32_2e511m481_24limbs/freeze.c | |
parent | 724b89061110f742d9faa00dfb5d849b2f85c6a6 (diff) |
subsetoid_ring: don't ask for false things
We can't actually prove the previous okness lemmas in
SimplyTypedArithmetic, so we instead ask for exactly what we need.
Diffstat (limited to 'src/Specific/solinas32_2e511m481_24limbs/freeze.c')
0 files changed, 0 insertions, 0 deletions