Rename syl6eqssr to eqsstrrdi (#3817)

This is in iset.mm and set.mm
metamath · Feb 6, 2024 · d8c421d · d8c421d
1 parent 1a068d5
commit d8c421d
Show file tree

Hide file tree

Showing 3 changed files with 80 additions and 80 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -110,12 +110,12 @@ proposed  syl6eleqr eleqtrrdi   compare to eleqtrri or eleqtrrd
 proposed  syl6ss    sstrdi      compare to sstri or sstrd
 proposed  syl6sseq  sseqtrdi    compare to sseqtri or sseqtrd
 proposed  syl6eqss  eqsstrdi    compare to eqsstri or eqsstrd
-proposed  syl6eqssr eqsstrrdi   compare to eqsstrri or eqsstrrd
 (Please send any comments on these proposals to the mailing list or
 make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+ 4-Feb-24 syl6eqssr eqsstrrdi   compare to eqsstrri or eqsstrrd
 29-Jan-24 ccatw2s1ccatws2 [same] revised - eliminated unnecessary antecedent
 28-Jan-24 ccat2s1fst [same]     revised - eliminated unnecessary antecedent
 28-Jan-24 ccatw2s1ass [same]    revised - eliminated unnecessary antecedent