diff options
author | Andres Erbsen <andreser@mit.edu> | 2016-11-06 21:03:39 -0500 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2016-11-06 22:39:04 -0500 |
commit | 7ae2244439e0f8e72fcbbbb276aaa5f240509cb9 (patch) | |
tree | 6cd6ec4455418d64ced9e77064dd245e9f7cb569 /src/Encoding/EncodingTheorems.v | |
parent | 3dfd82f6493b8b38656b01b33a64921d01e6bdf6 (diff) |
move B_order_l and prime_q
Diffstat (limited to 'src/Encoding/EncodingTheorems.v')
0 files changed, 0 insertions, 0 deletions