Nuprl Definition : aa_capply
aa_capply(p;l) == <l (fst(p)), 1 + (snd(p))>
Definitions occuring in Statement :
pi1: fst(t),
pi2: snd(t),
apply: f a,
pair: <a, b>,
add: n + m,
natural_number: $n
FDL editor aliases :
aa_capply
aa\_capply(p;l) == <l (fst(p)), 1 + (snd(p))>
Date html generated:
2013_03_20-AM-09_56_48
Last ObjectModification:
2012_11_27-AM-10_33_44
Home
Index