Nuprl Definition : residue
residue(n) == {k:ℕn| CoPrime(n,k)}
Definitions occuring in Statement :
coprime: CoPrime(a,b),
int_seg: {i..j-},
set: {x:A| B[x]} ,
natural_number: $n
Definitions occuring in definition :
set: {x:A| B[x]} ,
int_seg: {i..j-},
natural_number: $n,
coprime: CoPrime(a,b)
FDL editor aliases :
residue
Latex:
residue(n) == \{k:\mBbbN{}n| CoPrime(n,k)\}
Date html generated:
2016_05_15-PM-07_28_17
Last ObjectModification:
2015_09_23-AM-08_15_36
Theory : general
Home
Index