Thread: Structural Induction on Sets
View Single Post
Feb5-12, 02:00 PM   #3
thy
 
Quote by lavinia View Post
You just get powers of 2 from the recursion not any even number.
substituting 2n into x? So it becomes (2n) ^2?
I don't really get it...