Nuprl Lemma : vr_PROOF_IRREL_wf
vr_PROOF_IRREL 
'
Proof not projected
Definitions occuring in Statement :
vr_PROOF_IRREL: vr_PROOF_IRREL,
member: t T,
universe: Type
Definitions :
vr_PROOF_IRREL: vr_PROOF_IRREL,
universe: Type,
all: 
x:A. B[x],
function: x:A 
B[x],
equal: s = t,
member: t T
vr\_PROOF\_IRREL \mmember{} \mBbbU{}'
Date html generated:
2012_02_20-PM-03_34_47
Last ObjectModification:
2012_02_02-PM-01_55_38
Home
Index