Skip to content
Snippets Groups Projects

reorganize `util.sum` and add some comments

Passed
Björn Brandenburg created pipeline for commit 45391d62
, finished
Related merge request !212 to merge MathComp-PR-cleanups-and-simplifications
merge request
13 jobs 21 minutes 22 seconds, queued for 2 seconds