rename identity theorems

metamath · Feb 24, 2025 · f81dbca · f81dbca
1 parent 858f47e
commit f81dbca
Show file tree

Hide file tree

Showing 2 changed files with 1,632 additions and 1,629 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -85,6 +85,9 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+24-Feb-25 ---       ---         rename all theorems of the form *1id to
+                                *rid and all theorems of the form *2id
+				to *lid
 23-Feb-25 abbi      abbib       flip sides of bi-conditional
 23-Feb-25 addsid1   addsrid
 23-Feb-25 addsid2   addslid