Step
*
of Lemma
aa_3n_plus_1_rel_wf
[ni,no:
].
(aa_3n_plus_1_rel(ni;no)
)
BY
{
ProveWfLemma
}
\mforall{}[ni,no:\mBbbZ{}]. (aa\_3n\_plus\_1\_rel(ni;no) \mmember{} \mBbbB{})
By
ProveWfLemma
Home
Index
[ni,no:
]. (aa_3n_plus_1_rel(ni;no) 
)