norm-component == norm-pair(
x.x;x.x)
Definitions :
lambda: x.A[x]
FDL editor aliases :
norm-component
norm-component == norm-pair(\mlambda{}x.x;\mlambda{}x.x)
Date html generated:
2010_08_27-PM-03_50_21
Last ObjectModification:
2010_05_12-PM-11_20_26
Home
Index