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.

我的工作是第一位的。