lean_workbook_plus_60546
ProvedIllustrate how to check if a congruence is true, e.g.,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_60546 : 12 ≡ 7 [ZMOD 5] := by sorry
Source
Illustrate how to check if a congruence is true, e.g.,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_60546 : 12 ≡ 7 [ZMOD 5] := by sorry