Nuprl Definition : list-diff
as-bs == filter(λa.(¬ba ∈b bs);as)
Definitions occuring in Statement :
deq-member: x ∈b L,
filter: filter(P;l),
bnot: ¬bb,
lambda: λx.A[x]
Definitions occuring in definition :
filter: filter(P;l),
lambda: λx.A[x],
bnot: ¬bb,
deq-member: x ∈b L
FDL editor aliases :
list-diff
Latex:
as-bs == filter(\mlambda{}a.(\mneg{}\msubb{}a \mmember{}\msubb{} bs);as)
Date html generated:
2016_05_14-PM-03_29_29
Last ObjectModification:
2015_09_22-PM-05_59_49
Theory : decidable!equality
Home
Index