---

{ "xxx"  Id }

{ Proof }

---

Definitions occuring in Statement :  mkid: "$x",  Id: Id,  member: t  T
Definitions :  member: t  T,  Id: Id,  mkid: "$x"
Lemmas :  member_wf,  Id_wf

---

"xxx"  \mmember{}  Id


Date html generated: 2011_08_10-AM-07_43_30
Last ObjectModification: 2011_06_18-AM-08_10_01

Home Index