Nuprl Definition : int-list-member
int-list-member(i;xs) == reduce(λj,b. ((i =z j) ∨bb);ff;xs)
Definitions occuring in Statement :
reduce: reduce(f;k;as),
bor: p ∨bq,
eq_int: (i =z j),
bfalse: ff,
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
bor: p ∨bq,
eq_int: (i =z j),
bfalse: ff
FDL editor aliases :
int-list-member
Latex:
int-list-member(i;xs) == reduce(\mlambda{}j,b. ((i =\msubz{} j) \mvee{}\msubb{}b);ff;xs)
Date html generated:
2016_05_15-PM-04_22_39
Last ObjectModification:
2015_09_23-AM-07_48_05
Theory : general
Home
Index