Nuprl Definition : mk_bag

mk_bag(L) ==  L


FDL editor aliases :  mk_bag
Latex:
mk\_bag(L)  ==    L


Date html generated: 2016_05_15-PM-02_21_38
Last ObjectModification: 2015_09_23-AM-07_38_56

Theory : bags


Home Index