---

Knd ==  IdLnk  Id + Id

---

Definitions :  union: left + right,  product: x:A  B[x],  IdLnk: IdLnk,  Id: Id
FDL editor aliases :  Knd

---

Knd  ==    IdLnk  \mtimes{}  Id  +  Id


Date html generated: 2010_08_26-PM-11_32_30
Last ObjectModification: 2008_02_27-PM-09_22_40

Home Index