Nuprl Definition : int-decr-map-inDom

int-decr-map-inDom(k;m) ==  isl(int-decr-map-find(k;m))


Definitions occuring in Statement :  int-decr-map-find: int-decr-map-find(k;m),  isl: isl(x)
FDL editor aliases :  int-decr-map-inDom
int-decr-map-inDom(k;m)  ==    isl(int-decr-map-find(k;m))


Date html generated: 2015_07_17-AM-08_22_57
Last ObjectModification: 2013_04_16-AM-11_14_14

Home Index