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