Begin rename of syl5bb to bitrid (#4462)

This is the first fifty or so occurences in set.mm.
metamath · Dec 3, 2024 · 3324398 · 3324398
1 parent d4807dc
commit 3324398
Show file tree

Hide file tree

Showing 2 changed files with 64 additions and 54 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -80,7 +80,7 @@ proposed  syl5ib    imbitrid
 proposed  syl5ibcom imbitridcom
 proposed  syl5ibr   imbitrrid
 proposed  syl5ibrcom imbitrridcom
-proposed  syl5bb    bitrid      compare to bitri or bitrd
+underway  syl5bb    bitrid      compare to bitri or bitrd
 proposed  syl6      imtrdi      alternate proposal: syldi
 proposed  syl6com   imtrdicom
 proposed  syl6d     imtrdid