Nuprl Definition : is-list-if-has-value-rec

is-list-if-has-value-rec(t) ==  ⋂n:ℕ. is-list-if-has-value-fun(t;n)


Definitions occuring in Statement :  is-list-if-has-value-fun: is-list-if-has-value-fun(t;n),  nat: ℕ,  isect: ⋂x:A. B[x]
Definitions occuring in definition :  isect: ⋂x:A. B[x],  nat: ℕ,  is-list-if-has-value-fun: is-list-if-has-value-fun(t;n)
FDL editor aliases :  is-list-if-has-value-rec
Latex:
is-list-if-has-value-rec(t)  ==    \mcap{}n:\mBbbN{}.  is-list-if-has-value-fun(t;n)


Date html generated: 2016_05_15-PM-10_08_36
Last ObjectModification: 2015_09_23-AM-08_22_22

Theory : eval!all


Home Index