Prove csbwrecsg with the new definition

metamath · Nov 18, 2024 · f667a02 · f667a02
1 parent fed1b19
commit f667a02
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 37 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -94,6 +94,8 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+18-Nov-24 csbcog    [same]      moved from RP's mathbox to main set.mm
+18-Nov-24 csbwrecsg [same]      moved from ML's mathbox to main set.mm
 18-Nov-24 csbpredg  [same]      moved from ML's mathbox to main set.mm
 18-Nov-24 csbdif    [same]      moved from ML's mathbox to main set.mm
 18-Nov-24 df-wrecs  dfwrecsOLD  obsoleted