Nuprl Lemma : vr_test_forward'base_wf
vr_test_forward'base() 
EClass'(
)
Proof not projected
Error : references
vr\_test\_forward'base() \mmember{} EClass'(\mBbbZ{})
Date html generated:
2012_02_20-PM-07_51_14
Last ObjectModification:
2012_02_03-PM-08_21_39
Home
Index