Nuprl Definition : es-LnkTag-deq
es-LnkTag-deq == product-deq(IdLnk;Id;IdLnkDeq;IdDeq)
Definitions occuring in Statement :
idlnk-deq: IdLnkDeq,
IdLnk: IdLnk,
id-deq: IdDeq,
Id: Id,
product-deq: product-deq(A;B;a;b)
FDL editor aliases :
es-LnkTag-deq
es-LnkTag-deq == product-deq(IdLnk;Id;IdLnkDeq;IdDeq)
Date html generated:
2015_07_17-AM-11_59_48
Last ObjectModification:
2013_03_27-AM-11_08_43
Home
Index