Nuprl Definition : eclass-events
eclass-events(es;X;L) == filter(λe.e ∈b X;L)
Definitions occuring in Statement :
in-eclass: e ∈b X,
filter: filter(P;l),
lambda: λx.A[x]
FDL editor aliases :
eclass-events
Latex:
eclass-events(es;X;L) == filter(\mlambda{}e.e \mmember{}\msubb{} X;L)
Date html generated:
2015_07_20-PM-03_40_16
Last ObjectModification:
2012_02_25-PM-01_52_09
Home
Index