lg-edge(g;a;b) == (a 
lg-in-edges(g;b))
Definitions :
l_member: (x l),
lg-in-edges: lg-in-edges(g;x),
int: 
FDL editor aliases :
lg-edge
lg-edge(g;a;b) == (a \mmember{} lg-in-edges(g;b))
Date html generated:
2010_08_27-PM-03_41_22
Last ObjectModification:
2010_05_27-PM-01_15_48
Home
Index