More minor adjustments.

src/measure/measurable-maps/approx.tex

@@ -121,7 +121,7 @@
             \[
             f_N(x) \in \mathcal{A}(f(x)) \cap \bracsn{y_n|1 \le n \le N}
             \]
-            \item[(ii)] $d(f_n, f) \downto 0$ pointwise as $n \to \infty$.
+            \item[(ii)] $f_n \to f$ pointwise as $n \to \infty$.
         \end{enumerate}
 
         \item There exists a sequence $\seq{f_n}$ of $(\cm, \cb_Y)$-measurable simple functions such that $f_n \to f$ pointwise.