lean_workbook_plus_75279
ProvedIf , show that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_75279 (p x y : ℤ) : p ∣ x^2 + x*y + y^2 → p ∣ (2*x + y)^2 + 3*y^2 := by sorry
Source
If , show that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_75279 (p x y : ℤ) : p ∣ x^2 + x*y + y^2 → p ∣ (2*x + y)^2 + 3*y^2 := by sorry