Propose renaming sseqtr4i and sseqtr4d (metamath#3652)

The pattern is to use the 3/4 naming convention if both hypotheses are symmetric, but "r" if only one hypothesis is symmetric.
avekens · Nov 24, 2023 · 68f3b7d · 68f3b7d
1 parent 66a27ce
commit 68f3b7d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -80,6 +80,8 @@ proposed  syl6eleq  eleqtrdi    compare to eleqtri or eleqtrd
 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  sseqtr4i  sseqtrri
+proposed  sseqtr4d  sseqtrrd
 proposed  syl6sseqr sseqtrrdi
 proposed  syl6eqss  eqsstrdi    compare to eqsstri or eqsstrd
 proposed  syl6eqssr eqsstrrdi