lean_workbook_plus_52163
ProvedFind and such that given and are integers.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_52163 : ∃ a b : ℤ, 22*a + 6*b = 2 := by sorry
Source
Find and such that given and are integers.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_52163 : ∃ a b : ℤ, 22*a + 6*b = 2 := by sorry