Nuprl Definition : co-list-islist
co-list-islist(T) == {L:colist(T)| (is-list(L))↓}
Definitions occuring in Statement :
is-list: is-list(t),
colist: colist(T),
has-value: (a)↓,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
colist: colist(T),
has-value: (a)↓,
is-list: is-list(t)
FDL editor aliases :
co-list-islist
Latex:
co-list-islist(T) == \{L:colist(T)| (is-list(L))\mdownarrow{}\}
Date html generated:
2016_05_15-PM-10_10_17
Last ObjectModification:
2015_09_23-AM-08_22_27
Theory : eval!all
Home
Index