Nuprl Definition : coprime

CoPrime(a,b) ==  GCD(a;b;1)


Definitions occuring in Statement :  gcd_p: GCD(a;b;y),  natural_number: $n
Definitions occuring in definition :  gcd_p: GCD(a;b;y),  natural_number: $n
FDL editor aliases :  coprime
Latex:
CoPrime(a,b)  ==    GCD(a;b;1)


Date html generated: 2016_05_14-PM-04_19_31
Last ObjectModification: 2015_09_22-PM-06_02_36

Theory : num_thy_1


Home Index