lean_workbook_plus_48649
ProvedFind the remainder when is divided by 9.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_48649 : 32 % 9 = 5 := by sorry
Source
Find the remainder when is divided by 9.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_48649 : 32 % 9 = 5 := by sorry