lean_workbook_plus_67146
ProvedProve that if is not divisible by 3, then is not divisible by 3.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_67146 (n : ℤ) : ¬ 3 ∣ n → ¬ 3 ∣ n^2 := by sorry
Source
Prove that if is not divisible by 3, then is not divisible by 3.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_67146 (n : ℤ) : ¬ 3 ∣ n → ¬ 3 ∣ n^2 := by sorry