Nuprl Lemma : piM-continuous
Continuous+(T.piM(T))
Proof
Definitions occuring in Statement :
piM: piM(T),
strong-type-continuous: Continuous+(T.F[T])
Lemmas :
continuous-constant,
PiDataVal_wf
Latex:
Continuous+(T.piM(T))
Date html generated:
2015_07_23-AM-11_36_17
Last ObjectModification:
2015_01_29-AM-07_39_08
Home
Index