Nuprl Lemma : aa_3n_step_wf
[t:Top]. (aa_3n_step(t) 
)
Proof not projected
Error : references
\mforall{}[t:Top]. (aa\_3n\_step(t) \mmember{} \mBbbZ{} {}\mrightarrow{} \mBbbZ{} {}\mrightarrow{} \mBbbZ{} {}\mrightarrow{} \mBbbZ{})
Date html generated:
2013_03_20-AM-11_02_52
Last ObjectModification:
2012_11_27-AM-10_33_35
Home
Index