Nuprl Definition : bar_fwd_fim
bar_fwd_fim(R) == 
f:
. 
x:. (R mklist(x;f))
Definitions occuring in Statement :
nat: ,
all: x:A. B[x],
exists: x:A. B[x],
apply: f a,
function: x:A B[x],
mklist: mklist(n;f)
FDL editor aliases :
bar_fwd_fim
bar\_fwd\_fim(R) == \mforall{}f:\mBbbN{} {}\mrightarrow{} \mBbbN{}. \mexists{}x:\mBbbN{}. (R mklist(x;f))
Date html generated:
2013_03_20-AM-10_31_24
Last ObjectModification:
2013_02_23-PM-02_56_16
Home
Index