golfing dvg_sum_inv_prim_seq#1933

affeldt-aist merged 13 commits intomath-comp:mastermath-comp/analysis:masterfrom

Tragicus:divsuminvprimTragicus/analysis:divsuminvprimCopy head branch name to clipboard