import Mathlib

/- Original: dS =  Γo  Z  ji± nΓi dS = 0  Γi  hold -/
theorem eq_094035ea8dbecdbc (Z : ℕ) (dS : ℕ) (hold : ℕ) (ji : ℕ) (nΓi : ℕ) (Γi : ℕ) (Γo : ℕ) : dS = Γo Z ji± nΓi dS = 0 Γi hold := by
  omega

