Nuprl Definition : mk_mset
mk_mset(as) == as
Latex:
mk\_mset(as) == as
Date html generated: 2016_05_16-AM-07_46_15
Last ObjectModification: 2015_09_23-AM-09_52_00
Theory :
mset
Home
Index