(i
j)
G == (j G i)
Definitions :
l_member: (x l),
apply: f a,
Id: Id
FDL editor aliases :
id-graph-edge
(i{}\mrightarrow{}j)\mmember{}G == (j \mmember{} G i)
Date html generated:
2010_08_26-PM-11_39_02
Last ObjectModification:
2008_02_27-PM-09_33_25
Home
Index