lean_workbook_plus_7235
ProvedAnother way to look at modular arithmetic is clocks. 3 hours after 11 is 2 because
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_7235 : (11 + 3) % 12 = 2 := by sorry
Source
Another way to look at modular arithmetic is clocks. 3 hours after 11 is 2 because
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_7235 : (11 + 3) % 12 = 2 := by sorry