Rearrange some cases

doc/plutus-core-spec/cardano/builtins4.tex

@@ -122,8 +122,8 @@ \subsubsection{Miscellaneous built-in functions}
   [a_{N-1}, \ldots, a_0] & \text{if $w=0$} \\
   [b_0, \ldots, b_{w-1}] &  \text{if $w > 0$ and $N\leq w$, where }
       b_i = \begin{cases}
-                a_{w-1-i} & \text{if $i \geq w-N$} \\
                 0   & \text{if $i \leq w-1-N$}\\
+                a_{w-1-i} & \text{if $i \geq w-N$} \\
             \end{cases}\\
   \errorX & \text{if $w > 0$ and $N > w$.}
 \end{cases}