diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-28 17:25:07 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-28 17:25:30 -0400 |
| commit | 6ddb13ed9733f9a2b7b6b10d2c96dc4b691a096c (patch) | |
| tree | 7db59dda869e1a82648b4c0f7546a9af8afcd551 /src/Algebra.v | |
| parent | 7884ee594837ce388c2b56466861fc6d3a8e2f40 (diff) | |
Revert "CompleteEdwardsCurveTheorems: build on 8.4 after field_algebra cahnge"
This reverts commit 4ab9da1b82913f1ad798bcdacd8801f619ee2fdf.
Diffstat (limited to 'src/Algebra.v')
0 files changed, 0 insertions, 0 deletions