From b675331b25c28a3bc5bb3b761dc40c8cf897ebad Mon Sep 17 00:00:00 2001
From: Jim Kingdon <kingdon@panix.com>
Date: Tue, 24 Dec 2024 06:46:52 -0700
Subject: [PATCH] add pwsmulg to mmil.html

---
 mmil.raw.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/mmil.raw.html b/mmil.raw.html
index 8e3185bb0..dd436d92c 100644
--- 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>