diff --git a/changes-set.txt b/changes-set.txt
index 09dee2782..c94e1c9e8 100644
--- 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