Nuprl Definition : single-bag
{x} == [x]
Definitions occuring in Statement :
cons: [a / b],
nil: []
Definitions occuring in definition :
cons: [a / b],
nil: []
FDL editor aliases :
single-bag
Latex:
\{x\} == [x]
Date html generated:
2016_05_15-PM-02_21_46
Last ObjectModification:
2015_09_23-AM-07_38_57
Theory : bags
Home
Index