isrcvl(l;k) == isrcv(k) 
lnk(k) = l
Definitions :
band: p q,
isrcv: isrcv(k),
eq_lnk: a = b,
lnk: lnk(k)
FDL editor aliases :
isrcvl
isrcvl(l;k) == isrcv(k) \mwedge{}\msubb{} lnk(k) = l
Date html generated:
2010_08_26-PM-11_35_21
Last ObjectModification:
2008_02_27-PM-09_32_28
Home
Index