lean_workbook_plus_27538
ProvedSolve the equation
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_27538 (x : ℕ) : 108 * x ≡ 171 [ZMOD 529] ↔ x ≡ 222 [ZMOD 529] := by sorry
Source
Solve the equation
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_27538 (x : ℕ) : 108 * x ≡ 171 [ZMOD 529] ↔ x ≡ 222 [ZMOD 529] := by sorry