abbi* -> eqab* (#4682)

* abbi2dv -> eqabdv * abbi1dv -> eqabcdv * abbi2i -> eqabi
metamath · Mar 1, 2025 · 1ee0e4d · 1ee0e4d
1 parent 5375a34
commit 1ee0e4d
Show file tree

Hide file tree

Showing 3 changed files with 1,866 additions and 1,865 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -85,6 +85,9 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+28-Feb-25 abbi1dv   eqabcdv
+28-Feb-25 abbi2dv   eqabdv
+28-Feb-25 abbi2i    eqabi
 27-Feb-25 elnelall  pm2.24nel
 25-Feb-25 eqimssd   [same]      Moved from SN's mathbox to main set.mm
 25-Feb-25 eqimss2d  eqimsscd    Moved from SN's mathbox to main set.mm