lean_workbook_plus_49548
ProvedFind x such that:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_49548 (x : ℕ) : (11 * x ≡ 1 [ZMOD 3]) ↔ (x ≡ 2 [ZMOD 3]) := by sorry
Source
Find x such that:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_49548 (x : ℕ) : (11 * x ≡ 1 [ZMOD 3]) ↔ (x ≡ 2 [ZMOD 3]) := by sorry