Merge branch 'develop' into upcic

Author: zwang123

changes-set.txt

@@ -94,6 +94,21 @@ DONE:
 Date      Old       New         Notes
 16-Sep-25 reueqdv   [same]      Moved from GG's mathbox to main set.mm
 11-Sep-25 cascl     [same]      revised - algSc may be non-injective
+10-Sep-25 soeq12d   [same]      Moved from SO's mathbox to main set.mm
+10-Sep-25 freq12d   [same]      Moved from SO's mathbox to main set.mm
+10-Sep-25 weeq12d   [same]      Moved from SO's mathbox to main set.mm
+ 4-Sep-25 mhphf4    [same]      Removed unneeded hypotheses
+ 4-Sep-25 mhphf3    [same]      Removed unneeded hypotheses
+ 4-Sep-25 mhphf     [same]      Removed unneeded hypotheses
+ 4-Sep-25 evlsmhpvvval [same]   Removed unneeded hypotheses
+ 4-Sep-25 mhpind    [same]      Removed unneeded hypotheses
+ 4-Sep-25 mhpvscacl [same]      Removed NN0 hypothesis
+ 4-Sep-25 mhpinvcl  [same]      Removed NN0 hypothesis
+ 4-Sep-25 mhpaddcl  [same]      Removed NN0 hypothesis
+ 4-Sep-25 mhppwdeg  [same]      Removed NN0 hypothesis
+ 4-Sep-25 mhpmulcl  [same]      Removed NN0 hypotheses
+ 4-Sep-25 mhpdeg    [same]      Removed unneeded hypotheses
+ 4-Sep-25 mhpmpl    [same]      Removed unneeded hypotheses
 24-Aug-25 elrab2w   [same]      Moved from SN's mathbox to main set.mm
 24-Aug-25 elab2gw   [same]      Moved from SN's mathbox to main set.mm
 24-Aug-25 elabgw    [same]      Moved from SN's mathbox to main set.mm

iset-discouraged

@@ -70,6 +70,7 @@
 "ax-addf" is used by "addcncntop".
 "ax-addf" is used by "addex".
 "ax-addf" is used by "cnfldplusf".
+"ax-addf" is used by "mpocnfldadd".
 "ax-addrcl" is used by "readdcl".
 "ax-arch" is used by "arch".
 "ax-caucvg" is used by "caucvgre".
@@ -86,6 +87,7 @@
 "ax-mulass" is used by "mulass".
 "ax-mulcl" is used by "mulcl".
 "ax-mulcom" is used by "mulcom".
+"ax-mulf" is used by "mpocnfldmul".
 "ax-mulf" is used by "mulcncntop".
 "ax-mulf" is used by "mulex".
 "ax-mulrcl" is used by "remulcl".
@@ -354,7 +356,7 @@ New usage of "ax-1re" is discouraged (1 uses).
 New usage of "ax-addass" is discouraged (1 uses).
 New usage of "ax-addcl" is discouraged (1 uses).
 New usage of "ax-addcom" is discouraged (1 uses).
-New usage of "ax-addf" is discouraged (3 uses).
+New usage of "ax-addf" is discouraged (4 uses).
 New usage of "ax-addrcl" is discouraged (1 uses).
 New usage of "ax-arch" is discouraged (1 uses).
 New usage of "ax-caucvg" is discouraged (1 uses).
@@ -370,7 +372,7 @@ New usage of "ax-io" is discouraged (1 uses).
 New usage of "ax-mulass" is discouraged (1 uses).
 New usage of "ax-mulcl" is discouraged (1 uses).
 New usage of "ax-mulcom" is discouraged (1 uses).
-New usage of "ax-mulf" is discouraged (2 uses).
+New usage of "ax-mulf" is discouraged (3 uses).
 New usage of "ax-mulrcl" is discouraged (1 uses).
 New usage of "ax0id" is discouraged (0 uses).
 New usage of "ax0lt1" is discouraged (0 uses).