lean_workbook_plus_61362
Provedis integer , so is integer too.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_61362 (r s t : ℤ) (h : r ≠ 0) (h2 : r∣s*t) : r^2 ∣ s^2 * t^2 := by sorry
Source
is integer , so is integer too.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_61362 (r s t : ℤ) (h : r ≠ 0) (h2 : r∣s*t) : r^2 ∣ s^2 * t^2 := by sorry