with -> we

Thanks to Peng Du
https://stacks.math.columbia.edu/tag/0FL3#comment-7808

discriminant.tex

@@ -2277,7 +2277,7 @@ \section{Finite syntomic morphisms}
 By Lemma \ref{lemma-syntomic-finite} we may write
 $B = C[x_1, \ldots, x_n]/(f_1, \ldots, f_n)$ as
 a relative global complete intersection.
-After a change of coordinates with may assume
+After a change of coordinates we may assume
 $x_1, \ldots, x_n$ are in the kernel of $B \to C$.
 Then the polynomials $f_i$ have vanishing constant terms.
 Choose any lifts $f'_i \in C'[x_1, \ldots, x_n]$ of $f_i$