Nuprl Definition : bar_26_3b
bar_26_3b{i:l}() == 
c:
List 
. bar_26_1{i:l}(
l.((c l) = 0))
Definitions occuring in Statement :
bar_26_1: bar_26_1{i:l}(R),
nat: ,
all: x:A. B[x],
apply: f a,
lambda: x.A[x],
function: x:A B[x],
natural_number: $n,
equal: s = t
FDL editor aliases :
bar_26_3b
bar\_26\_3b\{i:l\}() == \mforall{}c:\mBbbN{} List {}\mrightarrow{} \mBbbN{}. bar\_26\_1\{i:l\}(\mlambda{}l.((c l) = 0))
Date html generated:
2013_03_20-AM-10_32_00
Last ObjectModification:
2013_02_28-PM-08_01_06
Home
Index