lean_workbook_plus_71142
ProvedDetermine the number of solutions of the equation in .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_71142 : ∃ x : ZMod 2004, x^2 = 1 := by sorry
Source
Determine the number of solutions of the equation in .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_71142 : ∃ x : ZMod 2004, x^2 = 1 := by sorry