Nuprl Lemma : mData_wf
mData 
'
Proof not projected
Definitions occuring in Statement :
mData: mData,
member: t T,
universe: Type
Definitions :
mData: mData,
member: t T,
uall: 
[x:A]. B[x]
Lemmas :
valueall-type_wf
mData \mmember{} \mBbbU{}'
Date html generated:
2012_01_23-PM-12_45_56
Last ObjectModification:
2011_12_05-PM-04_31_02
Home
Index