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.

我們該繼續(xù)前進(jìn)了。
There will come a time when a crisis will occur.

危機(jī)必將會出現(xiàn)。
What comes after?

后來（結(jié)果）怎么樣?
It often happens that success comes after many failings.

經(jīng)過多次失敗后才獲得成功是常有的事。
My work comes first.

我的工作是第一位的。