lifting1(f;b) == lifting-gen-rev(1;f;
x.b)
Definitions occuring in Statement :
lifting-gen-rev: lifting-gen-rev(n;f;bags),
lambda: x.A[x],
natural_number: $n
Definitions :
lifting-gen-rev: lifting-gen-rev(n;f;bags),
natural_number: $n,
lambda: x.A[x]
FDL editor aliases :
lifting1
lifting1(f;b) == lifting-gen-rev(1;f;\mlambda{}x.b)
Date html generated:
2011_08_17-PM-05_59_13
Last ObjectModification:
2011_06_01-AM-00_07_56
Home
Index