lean_workbook_plus_77848
DisprovedProve is divisible by 1991.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_77848 : 1900 ^ 1990 - 1 ≡ 0 [ZMOD 1991] := by sorry
Source
Prove is divisible by 1991.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_77848 : 1900 ^ 1990 - 1 ≡ 0 [ZMOD 1991] := by sorry