import Mathlib

/- Original: t = 0) = 0) -/
theorem eq_584ccf70dc2448ec (t : ℕ) : t = 0) = 0) := by
  omega

