Lemma 65.8.4. The base change of a quasi-compact morphism of algebraic spaces by any morphism of algebraic spaces is quasi-compact.

Proof. Omitted. Hint: Transitivity of fibre products. $\square$

Comment #647 by Kestutis Cesnavicius on

Proof: This follows from the definition and the transitivity of the fiber product.

Comment #659 by on

So of course yes I agree with this, but I do not think this will help somebody who has trouble with this lemma. For example where are you taking these fibre products? I think the proof of this lemma involves just a tiny bit more. What you are saying is a hint. So I'll put it in as a hint.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).