b:T. 
a:
n. f(a) = b7. n > 0
8. b: T
T
a:(n
n). (
x. < f(x 
n),f(x rem n) > )(a) = bn
Tn; T; f)n; T; f) Surj((nn); TT; x. < f(x n),f(x rem n) > )| 1 | 6. b:T. a:n. f(a) = b 7. n > 0 8. b: T T a:(nn). (x. < f(x n),f(x rem n) > )(a) = b |
About:
 |  |  |  |  |  |
 |  |  |  |  |  |