lean_workbook_plus_29794
ProvedInfinite solutions ; Any that is 3 mod 6
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_29794 : ∀ m : ℕ, ∃ x : ℕ, x > m ∧ x % 6 = 3 := by sorry
Source
Infinite solutions ; Any that is 3 mod 6
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_29794 : ∀ m : ℕ, ∃ x : ℕ, x > m ∧ x % 6 = 3 := by sorry