:art: Remove math defs

diff --git a/util b/util
index 5c47c481a3c808f29b7bd70b710acc8972bde77b..80a078b49aa86ebe64d5b0a35fbc463ec8f38470 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit 5c47c481a3c808f29b7bd70b710acc8972bde77b
+Subproject commit 80a078b49aa86ebe64d5b0a35fbc463ec8f38470