Rename syl5bi to biimtrid in iset.mm (#4557)

metamath · Jan 12, 2025 · f4e326b · f4e326b
1 parent e1c1548
commit f4e326b
Show file tree

Hide file tree

Showing 2 changed files with 1,975 additions and 1,971 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -70,7 +70,6 @@ proposed  syl5com   imtridcom
 proposed  syl5      imtrid      alternate proposal: sylid
 proposed  syl56     imtridi
 proposed  syl5d     imtridd
-underway  syl5bi    biimtrid
 proposed  syl5bir   biimtrrid
 proposed  syl5ib    imbitrid
 proposed  syl5ibcom imbitridcom
@@ -88,6 +87,7 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+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
  9-Jan-25 ---       ---         Moved initial surreal definitions from