adds import

ederc · ederc · commit 8f27b0769145 · 2023-07-27T12:49:37.000+02:00
diff --git a/src/imports.jl b/src/imports.jl
@@ -42,6 +42,7 @@ import Nemo:
     PolyElem,
     PolynomialRing,
     PolyRing,
+    prime_field,
     primorial,
     QQ,
     rising_factorial,
