---

{ IdLnk  Type }

{ Proof }

---

Definitions occuring in Statement :  IdLnk: IdLnk,  member: t  T,  universe: Type
Definitions :  member: t  T,  IdLnk: IdLnk
Lemmas :  Id_wf

---

IdLnk  \mmember{}  Type


Date html generated: 2010_08_26-PM-11_32_03
Last ObjectModification: 2008_02_27-PM-09_22_03

Home Index