Begin rename of syl5bir to biimtrrid (#4596)

Add biimtrrid (copy paste with names changed), edit comment of syl5bir to describe rename, search and replace about twenty occurrences, and mention underway update in changes-set.txt. This in set.mm so far.
metamath · Jan 23, 2025 · 558edf7 · 558edf7
1 parent 43acbdd
commit 558edf7
Show file tree

Hide file tree

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