import Mathlib

/- Original: N = {1, 2 -/
theorem eq_4a18ceaf3888bba3 (N : ℕ) : N = {1 ∧ 2 := by
  omega

