質問です。
Forsterだと、
リーマン面Xに対し、
universal cover p:Y-->X
があるとき、当然のようにYはリーマン面、
pは正則としているのですが、
厳密にはおかしいですよね？
そういうY,pが存在することは良いのですが、
いかなるuniversal covering p:Y -> X
で、pが正則とは言えないと思うのです。

wiki では、Yはリーマン面、pは正則という性質を
inheritするとあるのですが。