lean_workbook_plus_33583
ProvedGiven , find integer solutions for such that and .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_33583 : ∃ a b c : ℤ, a * b * c = 216 ∧ a + b + c = 19 := by sorry
Source
Given , find integer solutions for such that and .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_33583 : ∃ a b c : ℤ, a * b * c = 216 ∧ a + b + c = 19 := by sorry