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
haslink(l;m) == mlnk(m) = l
Date html generated:
2015_07_17-AM-09_11_03
Last ObjectModification:
2012_02_25-AM-10_52_35
Home
Index