---

{ Id  Type }

{ Proof }

---

Definitions occuring in Statement :  Id: Id,  member: t  T,  universe: Type
Definitions :  member: t  T,  Id: Id

---

Id  \mmember{}  Type


Date html generated: 2010_08_26-PM-11_31_54
Last ObjectModification: 2008_02_27-PM-09_21_54

Home Index