diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-05-18 15:32:19 -0400 |
|---|---|---|
| committer |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:44:48 -0400 |
| commit | dc10c238d2bd87f705e83460e4febf9f914a4deb (patch) | |
| tree | 211070570e7f7716b13fbb9af9f3ba996b59c0cf /src/ModularArithmetic/PrimeFieldTheorems.v | |
| parent | c39f4255d14955e9ba6ca870a7bc4c15566dad01 (diff) | |
unifiedAddM1Rep_sig: almost there
Diffstat (limited to 'src/ModularArithmetic/PrimeFieldTheorems.v')
0 files changed, 0 insertions, 0 deletions