minor

blueprint/src/sections/f_divergence.tex

@@ -136,9 +136,9 @@ \section{Data-processing inequality}
   %\lean{}
   %\leanok
   \uses{def:fDiv}
-  Let $\mu$ and $\nu$ be two measures on $\mathcal X \times \mathcal Y$, and $\mu_X, \nu_X$ be their marginals on $\mathcal X$.
+  Let $\mu$ and $\nu$ be two measures on $\mathcal X \times \mathcal Y$, and let $\mu_X, \nu_X$ be their marginals on $\mathcal X$.
   Then $D_f(\mu_X, \nu_X) \le D_f(\mu, \nu)$.
-  Similarly, for $\mu_Y, \nu_Y$ be the marginals on $\mathcal Y$, $D_f(\mu_Y, \nu_Y) \le D_f(\mu, \nu)$.
+  Similarly, for $\mu_Y, \nu_Y$ the marginals on $\mathcal Y$, $D_f(\mu_Y, \nu_Y) \le D_f(\mu, \nu)$.
 \end{theorem}
 
 \begin{proof}