2. b :
3. j :
b
4. f :
(a-1)
{x:b| 
x = j }
5. Inj(
(a-1); {x:b| x = j }; f)
6. (
i.if i=
a-1
j else f(i) fi) 
ab
Inj(a; b; i.if i=a-1 j else f(i) fi)
b
(a-1){x:b| x = j }
(a-1); {x:b| x = j }; f)
i.if i=a-1 j else f(i) fi) ab
Inj(a; b; i.if i=a-1 j else f(i) fi)| By: |
|
| 1 |
a
8. a2 : a
9. if a1= a-1 j else f(a1) fi = if a2=a-1 j else f(a2) fi
a1 = a2 | 7 steps |
About:
 |  |  |  |
 |  |  |  |  |
 |