Nuprl Definition : empty-fset
{} == []
Definitions occuring in Statement :
nil: []
Definitions occuring in definition :
nil: []
FDL editor aliases :
empty-fset
Latex:
\{\} == []
Date html generated:
2016_05_14-PM-03_40_13
Last ObjectModification:
2015_10_06-PM-01_36_51
Theory : finite!sets
Home
Index