---

{ Continuous+(T.piM(T)) }

{ Proof }

---

Definitions occuring in Statement :  piM: piM(T),  strong-type-continuous: Continuous+(T.F[T])
Definitions :  piM: piM(T),  member: t  T,  uall: [x:A]. B[x]
Lemmas :  continuous-constant,  PiDataVal_wf

---

Continuous+(T.piM(T))


Date html generated: 2011_08_17-PM-06_57_37
Last ObjectModification: 2011_06_18-PM-12_36_08

Home Index