lean_workbook_plus_41791
DisprovedProve that the number is not odd.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_41791 : ¬(9 * 2 ^ 511 + 1) % 2 = 1 := by sorry
Source
Prove that the number is not odd.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_41791 : ¬(9 * 2 ^ 511 + 1) % 2 = 1 := by sorry