import Mathlib

/- Original: TV = 0 -/
theorem eq_45c6d0f7052c61f2 (TV : ℕ) : TV = 0 := by
  omega

