lean_workbook_plus_42414
ProvedHow many ordered triples of integers satisfy ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_42414 : ∃ a b c : ℤ, a + b + c = 9 := by sorry
Source
How many ordered triples of integers satisfy ?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_42414 : ∃ a b c : ℤ, a + b + c = 9 := by sorry