---

{ pi_prefix()  Type }

{ Proof }

---

Definitions occuring in Statement :  pi_prefix: pi_prefix(),  member: t  T,  universe: Type
Definitions :  member: t  T,  pi_prefix: pi_prefix()
Lemmas :  name_wf

---

pi\_prefix()  \mmember{}  Type


Date html generated: 2011_08_17-PM-06_39_50
Last ObjectModification: 2011_06_18-PM-12_06_05

Home Index