Nuprl Lemma : vr_test_abs1_wf
[T:Type]. [x:T]. (vr_test_abs1(x;x) 
T)
Proof not projected
Error : references
\mforall{}[T:Type]. \mforall{}[x:T]. (vr\_test\_abs1(x;x) \mmember{} T)
Date html generated:
2012_02_20-PM-07_50_54
Last ObjectModification:
2012_02_02-PM-03_28_53
Home
Index