lifting-1(f) == 
b.lifting1(f;b)
Definitions occuring in Statement :
lifting1: lifting1(f;b),
lambda: x.A[x]
Definitions :
lambda: x.A[x],
lifting1: lifting1(f;b)
FDL editor aliases :
lifting-1
lifting-1(f) == \mlambda{}b.lifting1(f;b)
Date html generated:
2011_08_17-PM-06_00_20
Last ObjectModification:
2011_06_02-PM-04_10_45
Home
Index