Nuprl Definition : classfun
X(e) == sv-bag-only(X eo e)
Definitions occuring in Statement :
apply: f a,
sv-bag-only: sv-bag-only(b)
FDL editor aliases :
classfun
X(e) == sv-bag-only(X eo e)
Date html generated:
2015_07_17-PM-00_21_00
Last ObjectModification:
2012_05_10-PM-04_52_20
Home
Index