Language Point 47
When morning came, he had established the existence of one class of Fuchsian functions. (Para. 5)
Meaning: When morning came, he had proved the existence of one group of Fuchsian functions.
Please note that the word "come" is not only used to talk about a person's or an animal's action but also an event or time.
The time has come for us to move on.
我们该继续前进了。
There will come a time when a crisis will occur.
危机必将会出现。
What comes after?
后来(结果)怎么样?
It often happens that success comes after many failings.
经过多次失败后才获得成功是常有的事。
My work comes first.
我的工作是第一位的。