Nuprl Definition : fps-atom

atom(x) ==  <{x}>


Definitions occuring in Statement :  fps-single: <c>,  single-bag: {x}
Definitions occuring in definition :  fps-single: <c>,  single-bag: {x}
FDL editor aliases :  fps-atom
Latex:
atom(x)  ==    <\{x\}>


Date html generated: 2016_05_15-PM-09_47_26
Last ObjectModification: 2015_09_23-AM-08_21_11

Theory : power!series


Home Index