Nuprl Definition : haslink

haslink(l;m) ==  mlnk(m) = l ∈ IdLnk


Definitions occuring in Statement :  mlnk: mlnk(m),  IdLnk: IdLnk,  equal: s = t ∈ T
FDL editor aliases :  haslink
Latex:
haslink(l;m)  ==    mlnk(m)  =  l


Date html generated: 2016_05_16-AM-10_53_52
Last ObjectModification: 2012_02_25-AM-10_52_35

Theory : event-ordering


Home Index