Nuprl Definition : bag-null

bag-null(bs) ==  null(bs)


Definitions occuring in Statement :  null: null(as)
Definitions occuring in definition :  null: null(as)
FDL editor aliases :  bag-null
Latex:
bag-null(bs)  ==    null(bs)


Date html generated: 2016_05_15-PM-02_23_52
Last ObjectModification: 2015_09_23-AM-07_39_03

Theory : bags


Home Index