---

IdLnkDeq ==  product-deq(Id;Id  Id;IdDeq;product-deq(Id;Id;IdDeq;IdDeq))

---

Definitions :  product: x:A  B[x],  product-deq: product-deq(A;B;a;b),  Id: Id,  id-deq: IdDeq
FDL editor aliases :  idlnk-deq

---

IdLnkDeq  ==    product-deq(Id;Id  \mtimes{}  Id;IdDeq;product-deq(Id;Id;IdDeq;IdDeq))


Date html generated: 2010_08_26-PM-11_35_13
Last ObjectModification: 2008_02_27-PM-09_31_56

Home Index