diff options
author | 2018-02-16 16:04:04 -0500 | |
---|---|---|
committer | 2018-02-18 19:25:23 -0500 | |
commit | 80ca8cf8825f87c2f5c8da0fc1cd63168f30054d (patch) | |
tree | 8614c7be708fbfe6aaa164f5aad2c47e04194a17 /measure.c | |
parent | aea2a134c95c55f7f5a6501efc48a3624cad6ca4 (diff) |
Rename carry_mulmod_correct to eval_carry_mulmod to fit with other lemmas
Diffstat (limited to 'measure.c')
0 files changed, 0 insertions, 0 deletions