Skip to content

various cleanups and simplifications in util

Björn Brandenburg requested to merge MathComp-PR-cleanups-and-simplifications into master

Pierre's cleanups from !190, minus the TODO annotations.

CC: @proux

Edited by Björn Brandenburg

Merge request reports