diff options
author | jadep <jade.philipoom@gmail.com> | 2016-11-01 22:22:28 -0400 |
---|---|---|
committer | jadep <jade.philipoom@gmail.com> | 2016-11-02 15:23:46 -0400 |
commit | 13834f7089bc166949b6ae1ec833dd16b71a5b49 (patch) | |
tree | 1b1df48f3809190963468b2f4ca12c906b484acb /src/ModularArithmetic | |
parent | 6e7925c686332544e3f9d6ae520d9785891dbe3c (diff) |
use correct version of WToZ_ZToW lemma
Diffstat (limited to 'src/ModularArithmetic')
0 files changed, 0 insertions, 0 deletions