Make prop2 proof more consistent

index.html

@@ -26438,8 +26438,8 @@ w_{t,k}^{\text{Naive}} = \frac{1}{K}\label{eq:naive_combination}
 <p><span class="math display">\[\begin{align}
   \rho_p(z) &amp;=
   \begin{cases}
-    z(1 - p) = z - zp, &amp; \text{if } z &gt; 0 \\
-    z(0 - p) = -zp,    &amp; \text{if } z \leq 0
+    z(1 - p) = z - zp, &amp; \text{if } 0 &lt; z \\
+    z(0 - p) = -zp,    &amp; \text{if } 0 \geq z
   \end{cases} \\
   \rho_p&#39;(z) &amp;=
   \begin{cases}