lean_workbook_plus_5356
ProvedProve that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_5356 : 5 ∣ 3^3 - 3 + 1 := by sorry
Source
Prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_5356 : 5 ∣ 3^3 - 3 + 1 := by sorry