diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-08-28 18:52:29 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-08-31 10:03:57 -0400 |
| commit | 8889a7b29faca543c4727455f34bcde36cefcdcf (patch) | |
| tree | 1c7b7bcdb42b81aded1fe1452e74a8616b1ab712 /src/ModularArithmetic/ExtPow2BaseMulProofs.v | |
| parent | 299ae5301892dc3b070fdc05ec7c126183398f21 (diff) | |
Generalized exponentiation chains so inverse and square roots can use the same typeclass.
Diffstat (limited to 'src/ModularArithmetic/ExtPow2BaseMulProofs.v')
0 files changed, 0 insertions, 0 deletions