Nuprl Definition : isrcvl

isrcvl(l;k) ==  isrcv(k) ∧b lnk(k) = l


Definitions occuring in Statement :  eq_lnk: a = b,  lnk: lnk(k),  isrcv: isrcv(k),  band: p ∧b q
FDL editor aliases :  isrcvl
isrcvl(l;k)  ==    isrcv(k)  \mwedge{}\msubb{}  lnk(k)  =  l


Date html generated: 2015_07_17-AM-09_12_57
Last ObjectModification: 2012_02_25-AM-10_53_20

Home Index