util.sum: clean up organization and add some comments
Related merge request !212 to merge MathComp-PR-cleanups-and-simplifications
merge request
13 jobs
11 minutes 11 seconds, queued for 2 seconds