Nuprl Definition : eq_lnk
a = b == IdLnkDeq a b
Definitions occuring in Statement :
idlnk-deq: IdLnkDeq,
apply: f a
FDL editor aliases :
eq_lnk
a = b == IdLnkDeq a b
Date html generated:
2015_07_17-AM-09_12_52
Last ObjectModification:
2012_07_01-PM-11_21_59
Home
Index