Lemma 5.12.2. A composition of quasi-compact maps is quasi-compact.

Proof. This is immediate from the definition. $\square$

Comment #622 by Kestutis Cesnavicius on

Proof: This is immediate from the definition.

Comment #639 by on

OK, I guess I agree with this although one could spell it out completely... Your suggested change is here.

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).