Nuprl Lemma : vr_test_abs3_wf
[f:Type]. [f:f]. (vr_test_abs3(x,y.f[x;y]) 
)
Proof not projected
Error : references
\mforall{}[f:Type]. \mforall{}[f:f]. (vr\_test\_abs3(x,y.f[x;y]) \mmember{} \mBbbZ{})
Date html generated:
2012_02_20-PM-07_50_54
Last ObjectModification:
2012_02_02-PM-03_29_13
Home
Index