lean_workbook_plus_44843
ProvedWhat is the correct way to write modulo ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_44843 : 7 % 2 = 1 := by sorry
Source
What is the correct way to write modulo ?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_44843 : 7 % 2 = 1 := by sorry