Nuprl Definition : eclass-val

X(e) ==  only(X eo e)


Definitions occuring in Statement :  apply: f a,  bag-only: only(bs)
FDL editor aliases :  eclass-val
X(e)  ==    only(X  eo  e)


Date html generated: 2015_07_17-PM-00_40_20
Last ObjectModification: 2012_02_25-PM-01_18_25

Home Index