Nuprl Definition : bag-deq
bag-deq(eq) == λas,bs. bag-eq(eq;as;bs)
Definitions occuring in Statement :
bag-eq: bag-eq(eq;as;bs),
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
bag-eq: bag-eq(eq;as;bs)
FDL editor aliases :
bag-deq
Latex:
bag-deq(eq) == \mlambda{}as,bs. bag-eq(eq;as;bs)
Date html generated:
2016_05_15-PM-08_00_42
Last ObjectModification:
2015_09_23-AM-08_20_43
Theory : bags_2
Home
Index