Nuprl Definition : bar_26_1
bar_26_1{i:l}(R) == bar_fwd_fim(R) 
(
A:
List 
. bar_bwd_fim(R;A))
Definitions occuring in Statement :
bar_bwd_fim: bar_bwd_fim(R;A),
bar_fwd_fim: bar_fwd_fim(R),
nat: ,
prop: ,
all: x:A. B[x],
implies: P Q,
function: x:A B[x]
FDL editor aliases :
bar_26_1
bar\_26\_1\{i:l\}(R) == bar\_fwd\_fim(R) {}\mRightarrow{} (\mforall{}A:\mBbbN{} List {}\mrightarrow{} \mBbbP{}. bar\_bwd\_fim(R;A))
Date html generated:
2013_03_20-AM-10_31_41
Last ObjectModification:
2013_02_28-PM-07_44_27
Home
Index