Skip to content
Snippets Groups Projects

util.sum: clean up organization and add some comments

Canceled
Björn Brandenburg created pipeline for commit 802efc7f
, finished
Related merge request !212 to merge MathComp-PR-cleanups-and-simplifications
merge request
13 jobs 25 seconds, queued for 2 seconds