Nuprl Lemma : vr_test_echo'base_wf
vr_test_echo'base() 
EClass'(
)
Proof not projected
Error : references
vr\_test\_echo'base() \mmember{} EClass'(\mBbbZ{})
Date html generated:
2012_02_20-PM-07_51_13
Last ObjectModification:
2012_02_17-AM-07_25_13
Home
Index