One of the basic (and frequently used) properties of cardinal exponentiation is that $(a^b)^c=a^{bc}$.
What is the proof of this fact?
As Arturo pointed out in his comment, in computer science this is called currying.
I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...
No comments:
Post a Comment