Lemma 88.23.4. In the situation above. If f is proper, then f_{/T} is proper.
Proof. (Proper morphisms of formal algebraic spaces are discussed in Formal Spaces, Section 87.31.) By the same argument as in the proof of Lemma 88.23.1 this follows from Morphisms of Spaces, Lemma 67.40.3. \square
Comments (0)