add mulgrhm , mulgrhm2 to mmil.html

metamath · Mar 8, 2025 · 6d6c718 · 6d6c718
1 parent db32b60
commit 6d6c718
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/mmil.raw.html b/mmil.raw.html
@@ -11290,6 +11290,12 @@
   <td>seems provable once GrpHom is defined</td>
 </tr>
 
+<tr>
+  <td>mulgrhm , mulgrhm2</td>
+  <td><i>none</i></td>
+  <td>seem provable once more ~ df-rnghom related theorems are proved</td>
+</tr>
+
 <tr>
   <td>relt</td>
   <td><i>none</i></td>