lean_workbook_plus_37936
ProvedProve that if then
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_37936 (k m : ℕ) : k ∣ m → (3^k - 2^k) ∣ (3^m - 2^m) := by sorry
Source
Prove that if then
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_37936 (k m : ℕ) : k ∣ m → (3^k - 2^k) ∣ (3^m - 2^m) := by sorry