2. b :
3. (
f.<f(a-1),f>) 
(a inj
b)
(i:b
(a-1) inj {x:b| 
x = i })
4. (
ie.ie/i,e. x.if x=
a-1 i else e(x) fi)
4.
(i:b(a-1) inj {x:b| x = i })a inj b
5. f :
ab
6. Inj(
a; b; f)
7. x :
a
8. x = a-1
f(a-1) = f(x)
f.<f(a-1),f>) (a inj b)(i:b(a-1) inj {x:b| x = i })
ie.ie/i,e. x.if x=a-1 i else e(x) fi)
(i:b(a-1) inj {x:b| x = i })a inj b
ab
a; b; f)
a
f(a-1) = f(x)| By: |
|
None
About:
 |  |  |  |  |
 |  |  |  |  |  |  |
 |