Begin rename of syl5bi to biimtrid (#4518)

metamath · Jan 1, 2025 · acb76a5 · acb76a5
1 parent daac2c3
commit acb76a5
Show file tree

Hide file tree

Showing 2 changed files with 670 additions and 657 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -74,7 +74,7 @@ proposed  syl5com   imtridcom
 proposed  syl5      imtrid      alternate proposal: sylid
 proposed  syl56     imtridi
 proposed  syl5d     imtridd
-proposed  syl5bi    biimtrid
+underway  syl5bi    biimtrid
 proposed  syl5bir   biimtrrid
 proposed  syl5ib    imbitrid
 proposed  syl5ibcom imbitridcom