Nuprl Definition : has-src
has-src(i;k) == isrcv(k) ∧b source(lnk(k)) = i
Definitions occuring in Statement :
lsrc: source(l),
lnk: lnk(k),
isrcv: isrcv(k),
eq_id: a = b,
band: p ∧b q
FDL editor aliases :
has-src
has-src(i;k) == isrcv(k) \mwedge{}\msubb{} source(lnk(k)) = i
Date html generated:
2015_07_17-AM-09_13_50
Last ObjectModification:
2012_02_25-AM-10_53_45
Home
Index