Nuprl Definition : bag-only
only(bs) == hd(bs)
Definitions occuring in Statement :
hd: hd(l)
Definitions occuring in definition :
hd: hd(l)
FDL editor aliases :
bag-only
Latex:
only(bs) == hd(bs)
Date html generated:
2016_05_15-PM-02_34_47
Last ObjectModification:
2015_09_23-AM-07_39_42
Theory : bags
Home
Index