Proof. This is true for being flat, for being of finite presentation, and for having local complete intersections as fibres by Lemmas 10.39.7, 10.6.2 and 10.135.11. $\square$

There are also:

• 2 comment(s) on Section 10.136: Syntomic morphisms

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