diff options
author | 2016-02-15 14:33:40 -0500 | |
---|---|---|
committer | 2016-02-15 14:33:40 -0500 | |
commit | 5b907ea0099b312864264d181ca7b1dd71d1673b (patch) | |
tree | 0d2a4f2f49385b8279d523c7670df365b4fa6048 /src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v | |
parent | 89ed926fc9c5ca47b33b15dfd9f4558ae6738642 (diff) |
added square roots and an assortment of lemmas about prime fields/rings
Diffstat (limited to 'src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v')
0 files changed, 0 insertions, 0 deletions