Nuprl Definition : sv-bag-only

sv-bag-only(b) ==  hd(b)


Definitions occuring in Statement :  hd: hd(l)
Definitions occuring in definition :  hd: hd(l)
FDL editor aliases :  sv-bag-only
Latex:
sv-bag-only(b)  ==    hd(b)


Date html generated: 2016_05_15-PM-02_43_07
Last ObjectModification: 2015_09_23-AM-07_40_11

Theory : bags


Home Index