diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-04-06 11:47:01 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-04-06 11:47:01 -0400 |
| commit | ef6b158b511abfe004d23e0b7faab074e281f4da (patch) | |
| tree | 1626d12dcf6b6072fa229dd5ffa77341062f0135 | |
| parent | 1b0002e54c18baa4330820aa754211039dadc5c2 (diff) | |
note running time of Weierstrass associativity Qed
| -rw-r--r-- | src/WeierstrassCurve/WeierstrassCurveTheorems.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/WeierstrassCurve/WeierstrassCurveTheorems.v b/src/WeierstrassCurve/WeierstrassCurveTheorems.v index 7547eb147..bfc07814f 100644 --- a/src/WeierstrassCurve/WeierstrassCurveTheorems.v +++ b/src/WeierstrassCurve/WeierstrassCurveTheorems.v @@ -191,6 +191,6 @@ Module W. Time s. (* Finished transaction in 0.068 secs (0.066u,0.s) (successful) *) (* Total: 414.396 seconds, roughly 7 minutes*) - Time Qed. + Time Qed. (* Finished transaction in 390.998 secs (390.783u,0.276s) (successful) *) End W. End W. |