Add equality deductions for relation predicates to main (#5007)

Co-authored-by: Wolf Lammen <[email protected]>

Author: LegionMammal978

changes-set.txt

@@ -92,6 +92,9 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+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