x
G.P[x] == n:
lg-size(G). P[lg-label(G;n)]
Definitions :
all: x:A. B[x],
int_seg: {i..j
},
natural_number: $n,
lg-size: lg-size(g),
lg-label: lg-label(g;x)
FDL editor aliases :
lg-all
\mforall{}x\mmember{}G.P[x] == \mforall{}n:\mBbbN{}lg-size(G). P[lg-label(G;n)]
Date html generated:
2010_08_27-PM-03_46_13
Last ObjectModification:
2010_04_28-PM-09_48_42
Home
Index