0
a else gcd(b;a rem b) fi (recursive)
a,b:
. gcd(a;b) 
j == if i=j true ; false fii,j:. (i=j) 
| Who Cites gcd? | |
| gcd | Def gcd(a;b) == if b=0 a else gcd(b;a rem b) fi (recursive) |
| Thm* a,b:. gcd(a;b) | |
| eq_int | Def i=j == if i=j true ; false fi |
| Thm* i,j:. (i=j) |
| Syntax: | gcd(a;b) | has structure: | gcd(a; b) |
About:
 |  |  |  |  |  |  |
 |  |  |  |
 |