Move DEFAULT_REALTYP_TO_COUNTERTYP to directive.py

Relocated the DEFAULT_REALTYP_TO_COUNTERTYP dictionary from proof_type.py to directive.py to improve module organization and reduce unnecessary imports.

Author: douden

sphinx_proof/directive.py

@@ -16,11 +16,29 @@
 from sphinx.util.docutils import SphinxDirective
 from .nodes import unenumerable_node, NODE_TYPES
 from .nodes import proof_node
-from .proof_type import DEFAULT_REALTYP_TO_COUNTERTYP
 
 logger = logging.getLogger(__name__)
 
 
+DEFAULT_REALTYP_TO_COUNTERTYP = {
+    "axiom": "axiom",
+    "theorem": "theorem",
+    "lemma": "lemma",
+    "algorithm": "algorithm",
+    "definition": "definition",
+    "remark": "remark",
+    "conjecture": "conjecture",
+    "corollary": "corollary",
+    "criterion": "criterion",
+    "example": "example",
+    "property": "property",
+    "observation": "observation",
+    "proposition": "proposition",
+    "assumption": "assumption",
+    "notation": "notation",
+}
+
+
 class ElementDirective(SphinxDirective):
     """A custom Sphinx Directive"""
 

sphinx_proof/proof_type.py

@@ -118,21 +118,3 @@ class NotationDirective(ElementDirective):
     "assumption": AssumptionDirective,
     "notation": NotationDirective,
 }
-
-DEFAULT_REALTYP_TO_COUNTERTYP = {
-    "axiom": "axiom",
-    "theorem": "theorem",
-    "lemma": "lemma",
-    "algorithm": "algorithm",
-    "definition": "definition",
-    "remark": "remark",
-    "conjecture": "conjecture",
-    "corollary": "corollary",
-    "criterion": "criterion",
-    "example": "example",
-    "property": "property",
-    "observation": "observation",
-    "proposition": "proposition",
-    "assumption": "assumption",
-    "notation": "notation",
-}