Move Equation953 to Equations from AllEquations, as it is used in sub…

…graph

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