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
Latex:
es-LnkTag-deq == product-deq(IdLnk;Id;IdLnkDeq;IdDeq)
Date html generated:
2016_05_16-PM-00_58_24
Last ObjectModification:
2013_03_27-AM-11_08_43
Theory : event-ordering
Home
Index