add iserodd to mmil.html

metamath · Oct 9, 2024 · c076ed0 · c076ed0
1 parent 05a5bcf
commit c076ed0
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/mmil.raw.html b/mmil.raw.html
@@ -9553,6 +9553,12 @@
   <td>the set.mm proof of vfermltlALT should be intuitionizable</td>
 </tr>
 
+<tr>
+  <td>iserodd</td>
+  <td><i>none</i></td>
+  <td>the set.mm proof uses isercoll2</td>
+</tr>
+
 <tr>
   <td>unben</td>
   <td>~ unbendc</td>