From 68f3b7dfdf83acfbb18381248576f324bf33bff0 Mon Sep 17 00:00:00 2001 From: Jim Kingdon Date: Fri, 24 Nov 2023 11:36:38 -0800 Subject: [PATCH] Propose renaming sseqtr4i and sseqtr4d (#3652) The pattern is to use the 3/4 naming convention if both hypotheses are symmetric, but "r" if only one hypothesis is symmetric. --- changes-set.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/changes-set.txt b/changes-set.txt index df815a57a9..5455c9116c 100644 --- 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