Nuprl Definition : es-cut-add
c+e == {e} ∪ c
Definitions occuring in Statement :
es-eq: es-eq(es),
fset-singleton: {x},
fset-union: x ∪ y
FDL editor aliases :
es-cut-add
Latex:
c+e == \{e\} \mcup{} c
Date html generated:
2015_07_21-PM-03_59_44
Last ObjectModification:
2012_02_25-PM-02_58_43
Home
Index