Reformat

Changes

1 changed files (+1/-1)

• gcd.lean
  • @@ -1,4 +1,4 @@
    - def gcd(a b : Nat) : Nat := + def gcd (a b : Nat) : Nat := if b > 0 then gcd b (a % b) else a termination_by b decreasing_by