lean_workbook_plus_24396
ProvedSolve for in the congruence .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_24396 (x : ℕ) : (4 * x ≡ 3 [ZMOD 5]) ↔ x ≡ 2 [ZMOD 5] := by sorry
Source
Solve for in the congruence .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_24396 (x : ℕ) : (4 * x ≡ 3 [ZMOD 5]) ↔ x ≡ 2 [ZMOD 5] := by sorry