Thread: Structural Induction on Sets View Single Post
P: 5
 Quote by lavinia 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...