Commit cfad35cc authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent a250ba6a
......@@ -2,7 +2,7 @@
\gimport[smglom/numberfields]{complexnumbers}
\gimport[smglom/numberfields]{realarith}
\gimport[smglom/linear-algebra]{vector-space}
\gimport[smglom/numberfields]{absolutevalue}
\gimport[smglom/numberfields]{arithmetics}
\gimport[smglom/numberfields]{numbers-orders}
\gimport[smglom/sets]{functions}
\symdef[name=norm]{anormOp}{|\cdot|}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment