Add iunxdif3 to mmil.html

jkingdon · jkingdon · commit a8fb1dec920e · 2023-11-03T17:07:09.000-07:00
diff --git a/mmil.raw.html b/mmil.raw.html
@@ -2073,6 +2073,12 @@
   <TD>~ iinrabm</TD>
 </TR>
 
+<tr>
+  <td>iunxdif3</td>
+  <td><i>none</i></td>
+  <td>the set.mm proof relies on inundif</td>
+</tr>
+
 <TR>
   <TD>iinuni</TD>
   <TD>~ iinuniss</TD>
