diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-05-23 10:18:33 +0200 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-05-23 10:18:33 +0200 |
commit | 60ca3fb1f2724f9a6d1b2e808a94a394711b7258 (patch) | |
tree | 02afd2b139db1c05016c7172c87a3251644db538 /proofs | |
parent | 107ef2db28b7abc75afe32350e7c2eb3c8ddbe82 (diff) |
Bigint.euclid: clarify which sign convention is used
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions