lean_workbook_plus_55012
DisprovedProve that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_55012 : ∀ a b c : ℤ, a ∣ (a + 1) * (b + 1) * (c + 1) - (b + c) * (a + 1) := by sorry
Source
Prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_55012 : ∀ a b c : ℤ, a ∣ (a + 1) * (b + 1) * (c + 1) - (b + c) * (a + 1) := by sorry