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 /src/Assembly/PhoasCommon.v | |
| parent | 1b0002e54c18baa4330820aa754211039dadc5c2 (diff) | |
note running time of Weierstrass associativity Qed
Diffstat (limited to 'src/Assembly/PhoasCommon.v')
0 files changed, 0 insertions, 0 deletions