Nuprl Definition : isEven

isEven(n) ==  (n mod =z 0)



Definitions occuring in Statement :  modulus: mod n eq_int: (i =z j) natural_number: $n
Definitions occuring in definition :  eq_int: (i =z j) modulus: 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