---

Step * 1 1 of Lemma aa_3n_plus_1_depth_pi_wf

.....truecase..... 
1. n : @i
2. n = 1
 <0, 0>  Top  Top
BY
{ Auto }


.....truecase..... 
1.  n  :  \mBbbN{}@i
2.  n  =  1
\mvdash{}  ɘ,  0>  \mmember{}  Top  \mtimes{}  Top


By

Auto



Home Index