diff --git a/equational_theories/Subgraph.lean b/equational_theories/Subgraph.lean
index b8dbdff5..eef209ec 100644
--- a/equational_theories/Subgraph.lean
+++ b/equational_theories/Subgraph.lean
@@ -3,6 +3,7 @@ import Mathlib.Data.Nat.Defs
 import equational_theories.EquationalResult
 import equational_theories.Closure
 import equational_theories.Equations
+import equational_theories.AllEquations
 import equational_theories.FactsSyntax
 import equational_theories.FreeSemigroup
 import equational_theories.MagmaLaw