Nuprl Definition : empty-bag
{} == []
Definitions occuring in Statement :
nil: []
Definitions occuring in definition :
nil: []
FDL editor aliases :
empty-bag
Latex:
\{\} == []
Date html generated:
2016_05_15-PM-02_21_41
Last ObjectModification:
2015_09_23-AM-07_38_57
Theory : bags
Home
Index