1 parent 5ff1be4 commit c71abbdCopy full SHA for c71abbd
1 file changed
src/lean_spec/subspecs/koalabear/field.py
@@ -1,9 +1,6 @@
1
"""Core definition of the KoalaBear prime field Fp."""
2
3
-from typing import IO, Any, Self
4
-
5
-from pydantic.annotated_handlers import GetCoreSchemaHandler
6
-from pydantic_core import core_schema
+from typing import IO, Self
7
8
from lean_spec.types import SSZType
9
0 commit comments