has-src(i;k) == isrcv(k) 
source(lnk(k)) = i
Definitions :
band: p q,
isrcv: isrcv(k),
eq_id: a = b,
lsrc: source(l),
lnk: lnk(k)
FDL editor aliases :
has-src
has-src(i;k) == isrcv(k) \mwedge{}\msubb{} source(lnk(k)) = i
Date html generated:
2010_08_26-PM-11_41_53
Last ObjectModification:
2008_02_27-PM-09_34_34
Home
Index