Nuprl Definition : int-decr-map-remove
int-decr-map-remove(k;m) == remove-combine(λp.(k - fst(p));m)
Definitions occuring in Statement :
remove-combine: remove-combine(cmp;l),
pi1: fst(t),
lambda: λx.A[x],
subtract: n - m
FDL editor aliases :
int-decr-map-remove
int-decr-map-remove(k;m) == remove-combine(\mlambda{}p.(k - fst(p));m)
Date html generated:
2015_07_17-AM-08_23_33
Last ObjectModification:
2013_04_17-PM-11_34_45
Home
Index