diff options
| author | Mario Forzanini <mario.forzanini@studenti.unimi.it> | 2022-07-01 16:56:43 +0200 |
|---|---|---|
| committer | Mario Forzanini <mario.forzanini@studenti.unimi.it> | 2022-07-01 16:56:43 +0200 |
| commit | e552657229641ec04670241079e21fed9a47f29f (patch) | |
| tree | b9483d9e5b64db9a7d4b10c01c14d56dc281c081 /%25253fid%25253d5390c4947d92a2cb1dd24bc61d6c332eff767cb6%253fid%253d5390c4947d92a2cb1dd24bc61d6c332eff767cb6&id2%253de552657229641ec04670241079e21fed9a47f29f%3fid%3d5390c4947d92a2cb1dd24bc61d6c332eff767cb6?id=e552657229641ec04670241079e21fed9a47f29f | |
| parent | cee14fcd6260932e6b1c0559a60a9311751ce2d2 (diff) | |
Use exponentiation in derivation, update tests
Diffstat (limited to '%25253fid%25253d5390c4947d92a2cb1dd24bc61d6c332eff767cb6%253fid%253d5390c4947d92a2cb1dd24bc61d6c332eff767cb6&id2%253de552657229641ec04670241079e21fed9a47f29f%3fid%3d5390c4947d92a2cb1dd24bc61d6c332eff767cb6?id=e552657229641ec04670241079e21fed9a47f29f')
0 files changed, 0 insertions, 0 deletions