n; T; f)6. Surj(
n; T; f)7. f1: T
S8. g: S
T9. g o f1 = Id
10. f1 o g = Id
11. b: S
a:n. (f1 o f)(a) = bnTn; T; f)ST a:n. (f1 o f)(a) = b| 1 | 5. Inj(n; T; f) 6. Surj( n; T; f)7. f1: T S8. g: S T9. g o f1 = Id 10. f1 o g = Id 11. b: S a:n. (f1 o f)(a) = b |
About:
 |  |  |  |  |  |