diff options
author | jadep <jade.philipoom@gmail.com> | 2016-10-19 15:47:37 -0400 |
---|---|---|
committer | jadep <jade.philipoom@gmail.com> | 2016-10-19 15:47:37 -0400 |
commit | ce564c5015e1868adf1d8353115931701b8273a6 (patch) | |
tree | 5c36600b09efd659f460e58ddd61bfe20315528e /src/ModularArithmetic/PrimeFieldTheorems.v | |
parent | 6b18ad2f184709bccc0de975c9318f2fd93ee9cd (diff) |
Fill in admits for field with carry_add, carry_opp, and carry_sub
Diffstat (limited to 'src/ModularArithmetic/PrimeFieldTheorems.v')
0 files changed, 0 insertions, 0 deletions