lean_workbook_plus_27064
Provedmultiples of
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_27064 : (2004 / 2) = 1002 := by sorry
Source
multiples of
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_27064 : (2004 / 2) = 1002 := by sorry