Nuprl Definition : isEven
isEven(n) == (n mod 2 =z 0)
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 :
isEven
Latex:
isEven(n) == (n mod 2 =\msubz{} 0)
Date html generated:
2016_05_14-PM-04_23_20
Last ObjectModification:
2015_09_22-PM-06_02_43
Theory : num_thy_1
Home
Index