Nuprl Definition : int-decr-map-isEmpty

int-decr-map-isEmpty(m) ==  null(m)



Definitions occuring in Statement :  null: null(as)
FDL editor aliases :  int-decr-map-isEmpty
int-decr-map-isEmpty(m)  ==    null(m)



Date html generated: 2015_07_17-AM-08_23_10
Last ObjectModification: 2013_04_16-PM-02_36_19

Home Index