Nuprl Definition : isOdd
isOdd(n) == (n mod 2 =z 1)
Definitions occuring in Statement :
modulus: a mod n,
eq_int: (i =z j),
natural_number: $n
Definitions occuring in definition :
eq_int: (i =z j),
modulus: a mod n,
natural_number: $n
FDL editor aliases :
isOdd
Latex:
isOdd(n) == (n mod 2 =\msubz{} 1)
Date html generated:
2016_05_14-PM-04_23_14
Last ObjectModification:
2015_09_22-PM-06_02_42
Theory : num_thy_1
Home
Index