lean_workbook_plus_74263
ProvedFor any integers and , prove that if divides then divides .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_74263 {a b : ℤ} (h₁ : a ∣ b) : a^3 ∣ b^3 := by sorrySource
For any integers and , prove that if divides then divides .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_74263 {a b : ℤ} (h₁ : a ∣ b) : a^3 ∣ b^3 := by sorry