diff options
Diffstat (limited to 'Common/Euclid.lean')
| -rw-r--r-- | Common/Euclid.lean | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Common/Euclid.lean b/Common/Euclid.lean index 58c8210..ad99b9b 100644 --- a/Common/Euclid.lean +++ b/Common/Euclid.lean @@ -8,4 +8,3 @@ def xgcd (a b: Nat) : Nat × Int × Int := (d, tt ,ss - tt * (a / b)) else (a,1,0) - termination_by xgcd a b => b |