remove unneeded hypotheses in cbvsum (#4985)

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

Author: GinoGiotto

changes-set.txt

@@ -92,6 +92,8 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+18-Aug-25 cbvsumi   ---         deleted - redundant with cbvsum
+18-Aug-25 cbvsum    [same]      Removed unneeded hypotheses
 17-Aug-25 bj-denotes iseqsetv-clel Moved from BJ's mathbox to main
 17-Aug-25 bj-issettru issettru  Moved from BJ's mathbox to main set.mm
  9-Aug-25 frobrhm   [same]      Moved from TA's mathbox to main set.mm