---

Step * of Lemma aa_3n_plus_1_depth_pi_wf

n:. (aa_3n_plus_1_depth_pi(n)  Top  Top)
BY
{ Auto }

1
1. n : @i
 aa_3n_plus_1_depth_pi(n)  Top  Top


\mforall{}n:\mBbbN{}.  (aa\_3n\_plus\_1\_depth\_pi(n)  \mmember{}  Top  \mtimes{}  Top)


By

Auto



Home Index