- #36
steenis
- 312
- 18
Very good, Peter, I knew you can do it !A very small comment, the last lines are a little bit confusing and not quite correct.
I would write that something like this
Let .
Then there are for all , such that .
Let , then and = y.
Therefore is an epimorpism.
I would write that something like this
Let
Then there are
Let
Therefore