lean_workbook_plus_67804
DisprovedIf then . Clearly then and hence .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_67804 : ∀ p : ℕ, p > 3 ∧ p.Prime → p % 6 = 5 := by sorry
Source
If then . Clearly then and hence .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_67804 : ∀ p : ℕ, p > 3 ∧ p.Prime → p % 6 = 5 := by sorry