Return to Revisions

Consider the fiber product $S \times_{\frak M} M$; its projection onto $S$ is smooth and surjective. Since $S$ is quasi-compact, there exists a quasi-compact open subset $U$ of $M$ surjecting onto $S$. But since $S$ surjects onto $\frak M$, so does $U$, and $\frak M$ is of finite type.