Document moves

metamath · Jan 27, 2025 · a599e8b · a599e8b
1 parent 0d3c387
commit a599e8b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -87,6 +87,8 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+27-Jan-25 ---       ---         Moved surreal cofinality theorems
+                                from SF's mathbox to main set.mm
 24-Jan-25 rextru    [same]      Moved from ZW's mathbox to main set.mm
 19-Jan-25 ---       ---         Moved surreal cut and option theorems
                                 from SF's mathbox to main set.mm