norm-base-deriv() == norm-pair(
x.x;norm-pair(norm-list(x.x);x.x))
Definitions occuring in Statement :
lambda: x.A[x],
norm-pair: norm-pair(Na;Nb),
norm-list: norm-list(N)
Definitions :
norm-pair: norm-pair(Na;Nb),
norm-list: norm-list(N),
lambda: x.A[x]
FDL editor aliases :
norm-base-deriv
norm-base-deriv() == norm-pair(\mlambda{}x.x;norm-pair(norm-list(\mlambda{}x.x);\mlambda{}x.x))
Date html generated:
2011_08_17-PM-04_21_38
Last ObjectModification:
2010_09_20-PM-11_32_57
Home
Index