Lemma 29.30.4. The base change of a morphism which is syntomic is syntomic.
Proof. In the proof of Lemma 29.30.2 we saw that being syntomic is a local property of ring maps. Hence the lemma follows from Lemma 29.14.5 combined with the fact that being syntomic is a property of ring maps that is stable under base change, see Algebra, Lemma 10.136.3. \square
Comments (0)