lean_workbook_plus_37719
DisprovedProve that : is divisible by
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_37719 : 3 ^ 45 + 39 ≡ 0 [ZMOD 9] := by sorry
Source
Prove that : is divisible by
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_37719 : 3 ^ 45 + 39 ≡ 0 [ZMOD 9] := by sorry