Nuprl Definition : fset-item
item(s) == hd(s)
Definitions occuring in Statement :
hd: hd(l)
Definitions occuring in definition :
hd: hd(l)
FDL editor aliases :
fset-item
Latex:
item(s) == hd(s)
Date html generated:
2016_05_14-PM-03_46_54
Last ObjectModification:
2015_10_06-PM-01_33_57
Theory : finite!sets
Home
Index