Merge branch 'metamath:develop' into mazsa-temps

metamath · Jan 12, 2025 · 82603ae · 82603ae
2 parents 3e6899b + c2a04fc
commit 82603ae
Show file tree

Hide file tree

Showing 3 changed files with 552 additions and 559 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -87,6 +87,13 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+11-Jan-25 ---       ---         Moved surreal ordering theorems from
+                                SF's mathbox to main set.mm
+11-Jan-25 ---       ---         Moved ordinal sequence theorems from
+                                SF's mathbox to main set.mm
+11-Jan-25 tfisg     [same]      Moved from SF's mathbox to main set.mm
+11-Jan-25 3orel13   [same]      Moved from SF's mathbox to main set.mm
+11-Jan-25 3pm3.2ni  [same]      Moved from SF's mathbox to main set.mm
 10-Jan-25 syl5bi    biimtrid
  9-Jan-25 fvresval  [same]      Moved from SF's mathbox to main set.mm
  9-Jan-25 brtp      [same]      Moved from SF's mathbox to main set.mm