Nuprl Definition : list_contained-in
list_contained-in(L1;L2;T) == list_all(x.(x 
L2);L1)
Proof not projected
Definitions occuring in Statement :
list_all: list_all(x.P[x];l),
l_member: (x l)
Definitions :
list_all: list_all(x.P[x];l),
l_member: (x l)
FDL editor aliases :
list_contained-in
list\_contained-in(L1;L2;T) == list\_all(x.(x \mmember{} L2);L1)
Date html generated:
2011_10_20-PM-04_50_12
Last ObjectModification:
2011_05_13-PM-05_30_59
Home
Index