add pwsmulg to mmil.html

metamath · Dec 26, 2024 · cd2d851 · cd2d851
1 parent 69292fa
commit cd2d851
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/mmil.raw.html b/mmil.raw.html
@@ -10655,6 +10655,12 @@
   <td>the set.mm proof uses ressplusg</td>
 </tr>
 
+<tr>
+  <td>pwsmulg</td>
+  <td><i>none</i></td>
+  <td>the set.mm proof uses pwspjmhm and pwsmnd</td>
+</tr>
+
 <tr>
   <td id="missing-df-cnfld">df-cnfld and all theorems using CCfld</td>
   <td><i>none</i></td>