lifting-2(f) == 
a,b.lifting2(f;a;b)
Definitions occuring in Statement :
lifting2: lifting2(f;abag;bbag),
lambda: x.A[x]
Definitions :
lambda: x.A[x],
lifting2: lifting2(f;abag;bbag)
FDL editor aliases :
lifting-2
lifting-2(f) == \mlambda{}a,b.lifting2(f;a;b)
Date html generated:
2011_08_17-PM-06_00_43
Last ObjectModification:
2011_06_02-PM-04_13_40
Home
Index