ProcOut-all(G;p.P[p]) == 
p
G.P[p]
Definitions :
lg-all: xG.P[x]
FDL editor aliases :
ProcOut-all
ProcOut-all(G;p.P[p]) == \mforall{}p\mmember{}G.P[p]
Date html generated:
2010_08_27-PM-08_03_59
Last ObjectModification:
2010_06_14-PM-07_27_19
Home
Index